previous  next
4.1.3. Options in the GENERAL Panel
The options in the GENERAL panel and their default settings are as
follows:

Panel(GENERAL);

Echo............... : FALSE
Timer.............. : FALSE
Trace.............. : FALSE
Indentation........ : FALSE
TraceSources....... : FALSE
SuppressWarnings... : FALSE
ComputationStack... : FALSE
-------------------------------

They are discussed separately, below.