| Sat, 15 Oct 2011 15:55:10 +0200 | wenzelm | updated to polyml-5.4.1; | file | diff | annotate |
| Tue, 27 Sep 2011 20:25:15 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 26 Sep 2011 23:43:52 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 11 Sep 2011 15:20:09 +0200 | wenzelm | updates for release; | file | diff | annotate |
| Sat, 10 Sep 2011 14:28:07 +0200 | wenzelm | more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on; | file | diff | annotate |
| Wed, 07 Sep 2011 20:49:45 +0200 | wenzelm | some updates for release; | file | diff | annotate |
| Mon, 31 Jan 2011 11:15:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 19 Jan 2011 21:46:45 +0100 | wenzelm | more release checks; | file | diff | annotate |
| Tue, 18 Jan 2011 11:42:11 +0100 | wenzelm | more notes on final release stage; | file | diff | annotate |
| Mon, 17 Jan 2011 18:10:46 +0100 | wenzelm | some notes on final release stage; | file | diff | annotate |
| Mon, 17 Jan 2011 16:57:24 +0100 | wenzelm | keep Proof General 4.0 and 3.7.1.1 for now; | file | diff | annotate |
| Sun, 16 Jan 2011 21:05:10 +0100 | wenzelm | misc updates for release; | file | diff | annotate |
| Wed, 12 Jan 2011 16:41:49 +0100 | wenzelm | updated to ProofGeneral-4.x; | file | diff | annotate |
| Fri, 07 Jan 2011 16:11:02 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Sun, 28 Nov 2010 14:01:20 +0100 | wenzelm | updated versions; | file | diff | annotate |
| Sun, 28 Nov 2010 13:55:19 +0100 | wenzelm | follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf); | file | diff | annotate |
| Thu, 24 Jun 2010 13:31:26 +0200 | wenzelm | notes on packaging; | file | diff | annotate |
| Wed, 09 Jun 2010 14:08:08 +0200 | wenzelm | removed outdated/confusing INSTALL file; | file | diff | annotate |
| Wed, 02 Jun 2010 15:38:27 +0200 | wenzelm | actually test smlnj; | file | diff | annotate |
| Fri, 28 May 2010 15:17:17 +0200 | wenzelm | lib/Tools/makeall does not hardiwre logics; | file | diff | annotate |
| Fri, 28 May 2010 11:37:38 +0200 | wenzelm | discontinued Sun/Solaris tests; | file | diff | annotate |
| Wed, 12 May 2010 14:02:19 +0200 | wenzelm | check NEWS; | file | diff | annotate |
| Wed, 12 May 2010 13:52:34 +0200 | wenzelm | updated some version numbers; | file | diff | annotate |
| Sat, 21 Nov 2009 20:44:16 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 31 May 2009 14:15:07 +0200 | wenzelm | discontinued support for Poly/ML 4.x versions; | file | diff | annotate |
| Tue, 14 Apr 2009 12:27:18 +0200 | wenzelm | misc updates for Isabelle2009; | file | diff | annotate |
| Thu, 02 Apr 2009 14:30:16 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Sun, 01 Mar 2009 16:48:06 +0100 | wenzelm | discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway; | file | diff | annotate |
| Wed, 03 Dec 2008 21:15:46 +0100 | wenzelm | eliminated traces of old Distribution directory; | file | diff | annotate |
| Thu, 17 Jul 2008 17:01:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 29 May 2008 23:46:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 28 May 2008 23:36:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 06 Dec 2007 00:21:28 +0100 | wenzelm | check persistent sessions; | file | diff | annotate |
| Tue, 13 Nov 2007 16:24:03 +0100 | wenzelm | some more items; | file | diff | annotate |
| Tue, 30 Oct 2007 12:14:22 +0100 | haftmann | adjusted | file | diff | annotate |
| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | file | diff | annotate |
| Wed, 24 Oct 2007 20:17:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 06 Oct 2007 22:31:57 +0200 | wenzelm | some updates; | file | diff | annotate |
| Tue, 18 Sep 2007 07:36:10 +0200 | haftmann | clarified remark | file | diff | annotate |
| Thu, 09 Jun 2005 11:04:54 +0200 | haftmann | added CONTRIBUTORS | file | diff | annotate |
| Fri, 22 Apr 2005 01:38:13 +0200 | kleing | updated, added Admin/page after-release maintenance | file | diff | annotate |
| Mon, 05 Aug 2002 12:00:51 +0200 | wenzelm | updated; | file | diff | annotate |