| Tue, 21 Jun 2005 08:16:03 +0200 | haftmann | removed mkcontent from makedist | file | diff | annotate |
| Mon, 20 Jun 2005 22:13:53 +0200 | wenzelm | exclude pghead.pdf from doc; | file | diff | annotate |
| Thu, 09 Jun 2005 11:04:54 +0200 | haftmann | added CONTRIBUTORS | file | diff | annotate |
| Mon, 06 Jun 2005 14:12:07 +0200 | haftmann | migrated scripts to new webiste | file | diff | annotate |
| Sun, 05 Jun 2005 23:07:24 +0200 | wenzelm | find empty dirs up to depth 5; | file | diff | annotate |
| Wed, 01 Jun 2005 10:30:07 +0200 | haftmann | concl antiqutations | file | diff | annotate |
| Sun, 29 May 2005 05:23:28 +0200 | kleing | make COPYRIGHT file available for web page | file | diff | annotate |
| Thu, 13 Jan 2005 14:56:37 +0100 | berghofe | Added ChangeLog | file | diff | annotate |
| Mon, 03 Feb 2003 11:44:23 +0100 | berghofe | Fill in version information in lib/Tools/version. | file | diff | annotate |
| Thu, 20 Jun 2002 21:44:54 +0200 | kleing | fail more gracefully, return proper exit codes, allow preset DISTPREFIX | file | diff | annotate |
| Tue, 30 Apr 2002 12:15:48 +0200 | kleing | physical location of isabelle repository is now sunbroy2 | file | diff | annotate |
| Fri, 08 Mar 2002 20:39:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Feb 2002 21:31:13 +0100 | wenzelm | delete .cvsignore; | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Mon, 29 Oct 2001 17:22:18 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Jul 2001 21:14:53 +0200 | wenzelm | do *not* ./configure; | file | diff | annotate |
| Mon, 05 Feb 2001 14:31:49 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 18 Jan 2001 20:35:39 +0100 | wenzelm | generate index.html for pdf docs; | file | diff | annotate |
| Tue, 28 Nov 2000 01:48:07 +0100 | wenzelm | fixed hostname; | file | diff | annotate |
| Tue, 28 Nov 2000 01:23:45 +0100 | wenzelm | detect CVSROOT; | file | diff | annotate |
| 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 |