Next: B.2 Elements of a
Up: B TCM File format
Previous: B TCM File format
Each TCM document is stored in a separate Unix file
as plain text in an (almost) readable format.
This chapter contains a specification of the TCM file format
of documents generated by the TCM version of this manual, which
generates the TCM file format
version 1.2. The TCM editors read also older file formats,
down to file format version 1.0, but they only generate the
latest file format of that TCM tool.
Older file format versions are not described here.
Each file can be converted to the recent format by reading
it in from a recent tool and then saving it back to file.
Frank Dehne,Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam