| Thu, 24 May 2012 15:01:17 +0200 | wenzelm | discontinued support for Poly/ML 5.2.1; | file | diff | annotate |
| Thu, 24 May 2012 13:56:21 +0200 | wenzelm | some post-release notes; | file | diff | annotate |
| Wed, 02 May 2012 22:37:50 +0200 | wenzelm | clarified; | file | diff | annotate |
| Wed, 02 May 2012 21:15:15 +0200 | wenzelm | more CHECKLIST; | file | diff | annotate |
| Sun, 29 Apr 2012 23:08:27 +0200 | wenzelm | basic setup for self-extracting 7zip installer; | file | diff | annotate |
| Sun, 29 Apr 2012 20:42:09 +0200 | wenzelm | more CHECKLIST; | file | diff | annotate |
| Mon, 09 Apr 2012 20:57:23 +0200 | wenzelm | slightly faster default compilation of Isabelle/Scala; | file | diff | annotate |
| Tue, 28 Feb 2012 17:11:18 +0100 | wenzelm | more release tests; | file | diff | annotate |
| 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 |