| Wed, 21 Sep 2005 14:45:55 +0200 | wenzelm | fixed cvs export; | file | diff | annotate |
| Wed, 21 Sep 2005 14:23:57 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 14:03:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 13:28:44 +0200 | wenzelm | removed "--" argument; | file | diff | annotate |
| 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 |