Admin/makedist
Tue, 07 Apr 2009 23:25:50 +0200 wenzelm misc tuning and updates;
Tue, 07 Apr 2009 23:08:20 +0200 wenzelm updated doc setup;
Sun, 05 Apr 2009 22:25:02 +0200 wenzelm removed obsolete website directory -- information derived by website/build;
Thu, 02 Apr 2009 22:03:04 +0200 wenzelm simplified website/config;
Thu, 05 Mar 2009 18:19:20 +0100 wenzelm silent chmod;
Fri, 27 Feb 2009 11:46:03 +0100 wenzelm tuned;
Thu, 26 Feb 2009 16:54:44 +0100 wenzelm back to plain http;
Tue, 27 Jan 2009 12:57:24 +0100 wenzelm use https;
Mon, 01 Dec 2008 19:42:26 +0100 haftmann merged
Mon, 01 Dec 2008 17:07:06 +0100 wenzelm makedist -- make Isabelle source distribution (Mercurial version);
Thu, 17 Jul 2008 21:23:08 +0200 wenzelm tuned message;
Thu, 17 Jul 2008 20:15:12 +0200 wenzelm structure Distribution: swapped default for is_official;
Thu, 17 Jul 2008 17:11:34 +0200 wenzelm tuned whitespace;
Thu, 17 Jul 2008 17:10:53 +0200 wenzelm removed old checklist;
Thu, 17 Jul 2008 16:56:48 +0200 wenzelm assume GNU tar and find;
Wed, 02 Jul 2008 20:13:32 +0200 wenzelm renamed Contents to Dirs to avoid case-conflict with doc/Contents;
Sun, 08 Jun 2008 14:29:09 +0200 wenzelm remove codegen_process.pdf from distribution;
Fri, 30 May 2008 23:26:51 +0200 wenzelm cvs2cl only for unofficial releases;
Mon, 24 Mar 2008 16:05:25 +0100 wenzelm replaced obsolete /usr/proj by /home;
Mon, 24 Mar 2008 15:59:16 +0100 wenzelm remote CVSROOT: default to atbroy100 instead of sunbroy2;
Mon, 25 Feb 2008 17:27:38 +0100 wenzelm tuned structure Distribution;
Thu, 21 Feb 2008 21:31:51 +0100 wenzelm keep ChangeLog.gz within distribution;
Wed, 23 Jan 2008 23:35:23 +0100 wenzelm reactivated mk of java/scala sources, with paranoia PATH setting for sunbroy;
Mon, 07 Jan 2008 11:40:20 +0100 wenzelm isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
Sun, 06 Jan 2008 18:09:34 +0100 wenzelm build Isabelle process wrapper;
Thu, 15 Nov 2007 11:49:00 +0100 wenzelm cover ISABELLE_IDENTIFIER;
Tue, 30 Oct 2007 12:14:23 +0100 haftmann improved website integration
Tue, 30 Oct 2007 10:51:35 +0100 haftmann split library index into templates
Sat, 27 Oct 2007 12:48:44 +0200 haftmann ASCIIfied README
Sun, 22 Jul 2007 11:58:23 +0200 wenzelm chmod u+rw on all files;
Sat, 02 Jun 2007 13:52:07 +0200 wenzelm proper handling of Tools;
Thu, 31 May 2007 18:16:46 +0200 wenzelm doc: exclude isabelle_isar.pdf;
Thu, 31 May 2007 13:18:42 +0200 wenzelm added src/Tools;
Fri, 08 Dec 2006 23:25:50 +0100 wenzelm date: forcing LC_ALL=C prevents funny file names;
Thu, 12 Oct 2006 08:25:04 +0200 haftmann now allowing subdirectories in Doc/
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;
less more (0) -100 -60 tip