Tue, 27 Aug 2002 15:40:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 05 Aug 2002 21:17:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 24 Jul 2002 22:13:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 16 Jul 2002 18:52:26 +0200 |
wenzelm |
adapted locales;
|
file |
diff |
annotate
|
Tue, 07 May 2002 14:27:39 +0200 |
wenzelm |
tuned presentation;
|
file |
diff |
annotate
|
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
|