--Z Command Window Help--
Z3 AutoComplete-Shift+Space
- type sqrt and press Shift+Space
- type for and press Shift+Space
Z3 Code Expansion & Parameter List-Shift+Enter
- e.g. type PMT and press Shift+Enter
Z3 Code Template Expansion Alt+Enter
- e.g. type switch and press Alt+Enter
Toggle Case-Press Shift Key Twice Quickly
List-Ctrl+Space
Select from List-Tab
Evaluate Editor Contents-F9
Evaluate Editor Selection-Ctrl+F9
Selection to Greek-Ctrl+G or Shift+Space
Ctrl-K : Comment On
Ctrl-Q : Comment Off
Ctrl-O : Auto Format
F1 : Launch Help
Ctrl-Space : Auto Complete
Shift-Space: Make Symbol
Ctrl-G : Make Symbol
Ctrl-U : Make Capital Symbol
Ctrl-B : Make Subscript
Ctrl-P : Make Superscript
Ctrl-N : Make Normal
Ctrl-D : Duplicate Selection
Ctrl-Del : Delete Line
Shift-Enter: Make Code Template
- (Type switch shift+enter gives switch template etc.)
Shift-Enter: Make Code Template and Functions
- (Type switch shift+enter gives switch template etc.)
Alt-Enter: Make Code Template Only
- (Type for shift+enter gives switch template etc.)
F9 : Recalc Code
Ctrl-F9 : Recalc Code Selection
Shift-F9 : Recalc Code Line
F11 & Esc : FullScreen/Esc