ZCommand Help

Z Command Window Help

1. Shift+Space : Z3 AutoComplete

type sqrt and press Shift+Space

type for and press Shift+Space

1. Shift+Enter : Z3 Code Expansion & Parameter List

e.g. type PMT and press Shift+Enter

1. Alt+Enter : Z3 Code Template Expansion

e.g. type switch and press Alt+Enter

1. Shift Key Twice : QuicklyToggle Case-Press

1. Ctrl+Space :List

1. Tab :Select from List

1. F9 :Evaluate Editor Contents

1. Ctrl+F9 :Evaluate Editor Selection

1. Ctrl+G or Shift+Space: Selection to Greek

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