:Continuous_Log:
Notation
Global Commands
Open Description Window
Continuous_Log ::= :Continuous_Log:
:Continuous_log: