CVS log for ARM/progs/ARM_MAST.ADB

No default branch

1.10 Sat Oct 14 6:05:56 2006 UTC by Randy
CVS Tags: Amend_Final, HEAD
Diffs to 1.9

Added commands to fix syntax link problems and to add HTML color flexibility.

1.9 Tue Sep 26 5:12:14 2006 UTC by Randy
Diffs to 1.8

Various bug fixes for ASIS work.

1.8 Sat Sep 23 5:23:36 2006 UTC by Randy
Diffs to 1.7

Changes to (1) allow subsubclauses; (2) to allow more sections; (3) to format
notes as in ISO 2004.

1.7 Fri Sep 22 4:40:47 2006 UTC by Randy
Diffs to 1.6

Implemented a mechanism to have the body of documents in the Swiss font.

1.6 Fri Jun 23 4:27:21 2006 UTC by Randy
Diffs to 1.5

Implemented Non_Terminal linking.

1.5 Sun Feb 19 6:44:41 2006 UTC by Randy
Diffs to 1.4

Various fixes to the program.

1.4 Sat Jan 28 6:49:32 2006 UTC by Randy
Diffs to 1.3

Various improvements, mostly for the Rationale.

1.3 Thu Jan 19 23:07:29 2006 UTC by Randy
Diffs to 1.2

Various program improvements.

1.2 Tue Jan 17 7:20:10 2006 UTC by Randy
Diffs to 1.1

Added many commands, especially master file commands and additional kinds of links.

1.1 Fri Jan 13 1:36:03 2006 UTC by Randy

Added master document file, to increase the flexibility of the document tool.