+Shift.
Mac OS X Note:
The keybindings below are for PC users. The Mac equivalents (if available)
are the same except that Ctrl+Shift is replaced by
+Shift.
| Navigation (appear under "Navigate" menu) | |||
| "Go To" | "Corresponding ..." | Ctrl+Shift+O (the letter "O") | ||
| "Go To" | "Matching Character" | Ctrl+Shift+P | ||
| "Down/Up to Next/Previous Session Input" (.a2s only) | Ctrl+Shift+Up and Ctrl+Shift+Down | ||
| "Down/Up to Next/Previous Checkpoint/Input" (.a2s only) | Ctrl+Shift+Right and Ctrl+Shift+Left. | ||
| "Previous/Next Command in History" (.a2s only) | Ctrl+Shift+, (comma) and Ctrl+Shift+. (period) | ||
| "Last Command in History" (.a2s only) | Ctrl+Shift+/ (slash) | ||
| Session-related | |||
| Submit Immediate | Enter (in Session editor; assuming immediate form is complete) | ||
| "Clean Session" |
| Alt+Delete | |
| "(Re)start Session" |
| Alt+Home | |
| "Stop Session" |
| ALT+End | |
| "Interrupt Session" |
| Ctrl+Break | |
| Line-related | |||
| "Undo/cancel all forms" |
| ||
| "Undo/cancel last form" |
| Ctrl+Shift+U | |
| "Cancel all "todo" forms" |
| ||
| "Advance todo line" |
| Ctrl+Shift+I (letter before "J") | |
| "Move todo up/down past cursor" (.lisp only) |
| Ctrl+Shift+Enter | |
| Misc | |||
| Indent code | Tab (affects selection or current line) | ||
ACL2s Web Page: http://acl2s.peterd.org/acl2s/doc/
ACL2s/Eclipse update site: http://acl2s.peterd.org/acl2s/update
| EVENT | Calls to defun, defmacro, defthm, etc. |
| VALUE |
Computations that do not change history/state. |
| QUERY |
Some commands that print information about history/state without changing it. |
| UNDO, REDO | An "undo" or "redo" initiated by ACL2s as a result of line motion. |
| BAD | Ill-formed based on history (e.g. "no function by that name"). |
| COMMAND | Forms that modify things we know how to undo, but are not events (e.g. ":set-guard-checking nil"). |
| IN-PACKAGE | An in-package call, which is technically also a COMMAND. |
| BEGIN-BOOK | A begin-book call, which is technically also a COMMAND. |
| ACTION, RAW (potentially dangerous!) | These can potentially break things in the user interface. Use with care. |
)
and Pete Manolios (
).
Last modified: 10 January 2008, for ACL2s 0.7.0