up previous next
5.1.3 Options in the GENERAL Panel
***** NOT YET UPDATED TO CoCoA-5: follow with care *****

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.