up
previous
next
5.1.8 TraceSources
***** NOT YET UPDATED TO CoCoA-5: follow with care *****
If the TraceSources option is on, then the name of every file read with the
Source
command will be echoed.