| Sun, 08 Oct 2000 19:58:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Sep 2000 19:10:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Sep 2000 19:39:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 18:09:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 17:01:31 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 25 Sep 2000 12:04:10 +0200 | wenzelm | include "Isabelle" link; | file | diff | annotate |
| Mon, 18 Sep 2000 14:49:51 +0200 | wenzelm | include ANNOUNCE; | file | diff | annotate |
| Thu, 14 Sep 2000 18:37:44 +0200 | wenzelm | "Isabelle repository version"; | file | diff | annotate |
| Tue, 12 Sep 2000 17:01:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2000 20:23:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | file | diff | annotate |
| Wed, 06 Sep 2000 19:12:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 Sep 2000 16:54:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Sep 2000 18:53:42 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 02 Sep 2000 21:45:41 +0200 | wenzelm | provide "--" argument: tentative release; | file | diff | annotate |
| Fri, 01 Sep 2000 17:37:29 +0200 | wenzelm | cleanup dist sources afterwards; | file | diff | annotate |
| Wed, 07 Jun 2000 14:20:16 +0200 | wenzelm | provide TAGS file for Isabelle sources; | file | diff | annotate |
| Fri, 05 May 2000 22:24:03 +0200 | wenzelm | removed index2; | file | diff | annotate |
| Thu, 09 Dec 1999 13:10:39 +0100 | kleing | new web pages integrated | file | diff | annotate |
| Tue, 02 Nov 1999 17:28:24 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Oct 1999 19:44:33 +0200 | wenzelm | berghofe; | file | diff | annotate |
| Thu, 07 Oct 1999 14:31:01 +0200 | wenzelm | delete Tools; | file | diff | annotate |
| Wed, 28 Jul 1999 12:07:08 +0200 | wenzelm | mkdir contrib; | file | diff | annotate |
| Fri, 09 Jul 1999 19:11:50 +0200 | wenzelm | rmdir pdf; | file | diff | annotate |
| Wed, 02 Jun 1999 11:55:18 +0200 | wenzelm | find -print; | file | diff | annotate |
| Fri, 28 May 1999 18:20:58 +0200 | wenzelm | move pdfs back into dist; | file | diff | annotate |
| Fri, 28 May 1999 18:00:33 +0200 | wenzelm | separate archive for pdf docs; | file | diff | annotate |
| Mon, 10 May 1999 17:45:16 +0200 | wenzelm | make pdf; | file | diff | annotate |
| Thu, 04 Mar 1999 14:23:51 +0100 | wenzelm | fixed again; | file | diff | annotate |
| Mon, 01 Mar 1999 19:10:43 +0100 | wenzelm | fixed {ISABELLE}; | file | diff | annotate |