| Wed, 27 Feb 2002 19:43:20 +0100 | wenzelm | renamed 'uses' to 'includes'; | file | diff | annotate |
| Tue, 26 Feb 2002 21:44:29 +0100 | wenzelm | renamed "uses" to "includes"; | file | diff | annotate |
| Mon, 25 Feb 2002 20:48:14 +0100 | wenzelm | clarified syntax of ``long'' statements: fixes/assumes/shows; | file | diff | annotate |
| Fri, 21 Dec 2001 00:38:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 14 Dec 2001 22:27:43 +0100 | wenzelm | updated; | file | diff | annotate |
| Tue, 04 Dec 2001 02:01:49 +0100 | wenzelm | removed \newcommand{\isasymone}; | file | diff | annotate |
| Thu, 08 Nov 2001 23:50:08 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 08 Nov 2001 00:26:06 +0100 | wenzelm | more explanations on advanced syntax; | file | diff | annotate |
| Wed, 07 Nov 2001 18:17:16 +0100 | wenzelm | added structures; | file | diff | annotate |
| Tue, 06 Nov 2001 23:45:58 +0100 | wenzelm | Locales and simple mathematical structures; | file | diff | annotate |