File name

  Adopt MS-DOS file name conventions even if working on a Unix system: lower case characters only, up to eight characters in prefix and a three character suffix after the period. People use DATR on MS-DOS systems and long Unix names will not be preserved. Make the prefix as mnemonic as you can (for others as well as yourself) but allow for the possibility of other files on the same topic - hence estonia1.dtr or eston_a.dtr rather than estonian.dtr. Check the DATR dtr file archive to see if a name is already in use or if an existing name can be used as a model.

Other recommended file suffixes:

• estonia1.dec - file containing declarations relating to estonia1.dtr
• estonia1.dmp - file containing a theorem dump from estonia1.dtr
• estonia1.doc - file containing text documentation for estonia1.dtr
• estonia1.dto - compiled version - internal code - of estonia1.dtr
• estonia1.dtv - file containing a dump of values from estonia1.dtr