Admin/makedist
Mon, 26 Sep 2011 23:51:59 +0200 wenzelm keep top-level "Isabelle" executable -- now an alias for "isabelle jedit";
Mon, 26 Sep 2011 20:31:41 +0200 wenzelm makedist for release;
Thu, 11 Aug 2011 12:53:41 +0200 wenzelm somewhat more uniform THIS;
Fri, 10 Jun 2011 17:30:23 +0200 wenzelm makedist -j: build Isabelle/jEdit via given jedit_build component;
Tue, 15 Mar 2011 13:03:54 +0100 wenzelm recover Isabelle symlink for public distribution, notably website;
Mon, 31 Jan 2011 11:14:05 +0100 wenzelm back to post-release mode;
Mon, 17 Jan 2011 23:04:35 +0100 wenzelm makedist: refer to isabelle-release;
Sat, 15 Jan 2011 12:55:19 +0100 wenzelm remove presently unused Isabelle application for official releases;
Tue, 11 Jan 2011 19:55:34 +0100 wenzelm isabelle version -i;
Fri, 26 Nov 2010 14:40:33 +0100 wenzelm discontinued global "Isabelle" symlink, to make each distribution even more self-contained;
Wed, 17 Nov 2010 11:24:07 +0100 wenzelm less parentheses, cf. Session.welcome;
Mon, 21 Jun 2010 18:31:52 +0200 wenzelm back to post-release mode;
Wed, 09 Jun 2010 15:09:00 +0200 wenzelm contrib/README;
Wed, 09 Jun 2010 14:08:08 +0200 wenzelm removed outdated/confusing INSTALL file;
Mon, 07 Jun 2010 17:50:40 +0200 wenzelm refer to isabelle-release branch;
Sun, 06 Jun 2010 18:04:59 +0200 wenzelm tuned;
Mon, 31 May 2010 21:29:27 +0200 wenzelm remove presently unused Isabelle application;
Wed, 09 Dec 2009 12:07:44 +0100 wenzelm keep future Isabelle application entry point;
Fri, 04 Dec 2009 11:41:17 +0100 wenzelm back to main repository;
Fri, 27 Nov 2009 23:08:26 +0100 wenzelm proper quotes;
Fri, 27 Nov 2009 22:38:22 +0100 wenzelm more abstract handling of repository name;
Wed, 25 Nov 2009 15:30:03 +0100 wenzelm refer to isabelle-release branch;
Sun, 22 Nov 2009 14:59:27 +0100 wenzelm remove presently unused Isabelle application;
Tue, 11 Aug 2009 15:53:13 +0200 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
Sun, 28 Jun 2009 19:29:28 +0200 wenzelm discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
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/
less more (0) -100 -60 tip