| Fri, 01 Dec 1995 12:03:13 +0100 | clasohm | removed quotes from consts and syntax sections | changeset | files |
| Thu, 30 Nov 1995 12:58:44 +0100 | clasohm | removed spaghetti diagrams for constType | changeset | files |
| Wed, 29 Nov 1995 17:01:41 +0100 | clasohm | removed quotes from consts and syntax sections | changeset | files |
| Wed, 29 Nov 1995 16:58:30 +0100 | clasohm | changed syntax diagrams according to quote-less consts and syntax section | changeset | files |
| Wed, 29 Nov 1995 16:56:54 +0100 | clasohm | added \label{sec:shell-scripts} | changeset | files |
| Wed, 29 Nov 1995 16:47:38 +0100 | clasohm | added type class to simple_type | changeset | files |
| Wed, 29 Nov 1995 16:44:59 +0100 | clasohm | removed quotes from types in consts and syntax sections | changeset | files |
| Mon, 27 Nov 1995 13:44:56 +0100 | clasohm | corrected documentation of pseudo theories; | changeset | files |