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.