:Execute
Symbol
Step-Symbol
Trans
Next-Transition
Break

Go
Go
:Send Signal
Send To
Output-To
Send Via
Output-Via
Send None
Output-None
:View
Process List
List-Process -
Variable
Examine-Variable (
:Trace
MSC
start-i-m-log 1
SDL
se-gr-tr 1
:Your signals
Probe
o-t probe main; go
Double
o-t double main; go
Result
o-t result main; go
Supergame
o-t newsuper main; go
Endgame
o-t endgame main; go
:MENU General
Command
?
Start SDT Env
Start-SDT-Env
- - - - - - -

Version
Show-Versions
News
News
:MENU Execute
Go
Go
Over Symbol
Next-Symbol
Into Stmt
Step-Statement
Over Stmt
Next-Statement
Finish
Finish
Until Time
Proceed-Until
Until Trace
Next-Visible-Transition
Until Timer
Proceed-To-Timer
- - - - - - - -

Script
Include-File
Stop Sim
Exit
:MENU View
Ready Q
List-Ready-Queue
Now
Now
Process List
List-Process -
Input Port
List-Input-Port
Signal
Examine-Signal-Instance
Timer List
List-Timer
Variable
Examine-Variable (
Call Stack
ca-st
Set Scope
set-sc
:MENU Change
Ready Q
Rearrange-Ready-Queue
State
Nextstate
Create Process
Create
Stop Process
Stop
Input Port
Rearrange-Input-Port
Del Signal
Remove-Signal-Instance
Set Timer
Set-Timer
Reset Timer
Reset-Timer
Variable
Assign-Value
:MENU Show
Next Symbol
Show-Next-Symbol
Prev Symbol
Show-Previous-Symbol
C Line
Show-C-Line-Number
Coverage
Print-Coverage-Table
:MENU Trace
Text Level   : Set
Set-Trace
-                  : Show
List-Trace-Values
SDL Level   : Set
Set-GR-Trace
-                  : Show
List-GR-Trace-Values
MSC Level  : Set
Set-MSC-Trace
-                  : Show
List-MSC-Trace-Values
MSC Trace : Start
Start-Interactive-MSC-Log
-                  : Start Batch
Start-Batch-MSC-Log
-                  : Stop
Stop-MSC-Log
:MENU Breakpoint
Transition
Breakpoint-Transition
Output
Breakpoint-Output
Variable
Breakpoint-Variable
Symbol
Breakpoint-At
- - - - - - - -

Remove
Remove-Breakpoint
Show
List-Breakpoints