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

Example 
  Panel(GENERAL);

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

They are discussed separately, below.