Thu, 21 Oct 1999 17:42:42 +0200 |
removed \BG, \EN;
|
file | diff | annotate |
Thu, 21 Oct 1999 15:57:26 +0200 |
added \ISS;
|
file | diff | annotate |
Tue, 07 Sep 1999 18:10:03 +0200 |
\indexisarmeth: "Methods";
|
file | diff | annotate |
Sat, 04 Sep 1999 20:55:52 +0200 |
added \indexisarvar;
|
file | diff | annotate |
Fri, 03 Sep 1999 16:10:39 +0200 |
permuted index;
|
file | diff | annotate |
Mon, 30 Aug 1999 14:07:48 +0200 |
tuned;
|
file | diff | annotate |
Tue, 24 Aug 1999 15:41:19 +0200 |
tuned;
|
file | diff | annotate |
Mon, 23 Aug 1999 15:27:27 +0200 |
tuned;
|
file | diff | annotate |
Sun, 22 Aug 1999 21:14:44 +0200 |
\indexisarreg;
|
file | diff | annotate |
Wed, 04 Aug 1999 18:19:45 +0200 |
improved \NOTE;
|
file | diff | annotate |
Tue, 03 Aug 1999 19:02:03 +0200 |
tuned;
|
file | diff | annotate |
Fri, 30 Jul 1999 15:57:27 +0200 |
Isabelle/Isar macros;
|
file | diff | annotate |
Tue, 20 Jul 1999 18:50:46 +0200 |
checkpoint;
|
file | diff | annotate |