CADiZ

Reference manual / Z-related commands / Miscellaneous commands / source text


The source text command generates notation that could have been used to mark-up the inspected formula - not the actual mark-up from the source file. It is applicable to most selections. It is useful both for help in finding out how to mark-up something similar, and for recycling useful results back into the specification document.

See also the save source command.


IT 10-Oct-1997