Admin/makedist
Mon, 02 Jan 2006 20:50:17 +0100 wenzelm ISABELLE_USER for remote cvs access;
Fri, 21 Oct 2005 09:05:52 +0200 haftmann towards an improved website/makedist integration
Wed, 19 Oct 2005 16:32:09 +0200 haftmann slight improvements for website
Wed, 28 Sep 2005 11:50:15 +0200 wenzelm avoid naming existing tags in explanations;
Mon, 26 Sep 2005 19:19:12 +0200 wenzelm yet another atempt to get doc/Contents right;
Mon, 26 Sep 2005 17:14:48 +0200 wenzelm really copy doc/Contents;
Mon, 26 Sep 2005 15:56:28 +0200 wenzelm copy doc/Contents;
Fri, 23 Sep 2005 18:47:47 +0200 wenzelm removed doc/index.html from distribution (now produced by website);
Wed, 21 Sep 2005 14:45:55 +0200 wenzelm fixed cvs export;
Wed, 21 Sep 2005 14:23:57 +0200 wenzelm tuned;
Wed, 21 Sep 2005 14:03:30 +0200 wenzelm tuned;
Wed, 21 Sep 2005 13:28:44 +0200 wenzelm removed "--" argument;
Tue, 21 Jun 2005 08:16:03 +0200 haftmann removed mkcontent from makedist
Mon, 20 Jun 2005 22:13:53 +0200 wenzelm exclude pghead.pdf from doc;
Thu, 09 Jun 2005 11:04:54 +0200 haftmann added CONTRIBUTORS
Mon, 06 Jun 2005 14:12:07 +0200 haftmann migrated scripts to new webiste
Sun, 05 Jun 2005 23:07:24 +0200 wenzelm find empty dirs up to depth 5;
Wed, 01 Jun 2005 10:30:07 +0200 haftmann concl antiqutations
Sun, 29 May 2005 05:23:28 +0200 kleing make COPYRIGHT file available for web page
Thu, 13 Jan 2005 14:56:37 +0100 berghofe Added ChangeLog
Mon, 03 Feb 2003 11:44:23 +0100 berghofe Fill in version information in lib/Tools/version.
Thu, 20 Jun 2002 21:44:54 +0200 kleing fail more gracefully, return proper exit codes, allow preset DISTPREFIX
Tue, 30 Apr 2002 12:15:48 +0200 kleing physical location of isabelle repository is now sunbroy2
Fri, 08 Mar 2002 20:39:39 +0100 wenzelm tuned;
Thu, 28 Feb 2002 21:31:13 +0100 wenzelm delete .cvsignore;
Fri, 11 Jan 2002 17:04:49 +0100 wenzelm #!/usr/bin/env bash;
Mon, 29 Oct 2001 17:22:18 +0100 wenzelm tuned;
Mon, 02 Jul 2001 21:14:53 +0200 wenzelm do *not* ./configure;
Mon, 05 Feb 2001 14:31:49 +0100 wenzelm tuned;
Thu, 18 Jan 2001 20:35:39 +0100 wenzelm generate index.html for pdf docs;
Tue, 28 Nov 2000 01:48:07 +0100 wenzelm fixed hostname;
Tue, 28 Nov 2000 01:23:45 +0100 wenzelm detect CVSROOT;
Sun, 08 Oct 2000 19:58:26 +0200 wenzelm tuned;
Thu, 28 Sep 2000 19:10:19 +0200 wenzelm tuned;
Wed, 27 Sep 2000 19:39:50 +0200 wenzelm tuned;
Tue, 26 Sep 2000 18:09:38 +0200 wenzelm tuned;
Tue, 26 Sep 2000 17:01:31 +0200 wenzelm tuned;
Mon, 25 Sep 2000 12:04:10 +0200 wenzelm include "Isabelle" link;
Mon, 18 Sep 2000 14:49:51 +0200 wenzelm include ANNOUNCE;
Thu, 14 Sep 2000 18:37:44 +0200 wenzelm "Isabelle repository version";
Tue, 12 Sep 2000 17:01:14 +0200 wenzelm tuned;
Mon, 11 Sep 2000 20:23:24 +0200 wenzelm tuned;
Mon, 11 Sep 2000 17:41:34 +0200 wenzelm improved WWW page generation (still somewhat experimental);
Wed, 06 Sep 2000 19:12:26 +0200 wenzelm tuned;
Wed, 06 Sep 2000 16:54:12 +0200 wenzelm tuned;
Tue, 05 Sep 2000 18:53:42 +0200 wenzelm tuned;
Sat, 02 Sep 2000 21:45:41 +0200 wenzelm provide "--" argument: tentative release;
Fri, 01 Sep 2000 17:37:29 +0200 wenzelm cleanup dist sources afterwards;
Wed, 07 Jun 2000 14:20:16 +0200 wenzelm provide TAGS file for Isabelle sources;
Fri, 05 May 2000 22:24:03 +0200 wenzelm removed index2;
Thu, 09 Dec 1999 13:10:39 +0100 kleing new web pages integrated
Tue, 02 Nov 1999 17:28:24 +0100 wenzelm tuned;
Wed, 13 Oct 1999 19:44:33 +0200 wenzelm berghofe;
Thu, 07 Oct 1999 14:31:01 +0200 wenzelm delete Tools;
Wed, 28 Jul 1999 12:07:08 +0200 wenzelm mkdir contrib;
Fri, 09 Jul 1999 19:11:50 +0200 wenzelm rmdir pdf;
Wed, 02 Jun 1999 11:55:18 +0200 wenzelm find -print;
Fri, 28 May 1999 18:20:58 +0200 wenzelm move pdfs back into dist;
Fri, 28 May 1999 18:00:33 +0200 wenzelm separate archive for pdf docs;
Mon, 10 May 1999 17:45:16 +0200 wenzelm make pdf;
less more (0) -60 tip