| Tue, 17 Aug 2010 18:41:55 +0200 | wenzelm | discontinued support for Poly/ML 5.0 and 5.1 versions; | file | diff | annotate |
| Wed, 09 Jun 2010 14:08:08 +0200 | wenzelm | removed outdated/confusing INSTALL file; | file | diff | annotate |
| Fri, 28 May 2010 11:23:34 +0200 | wenzelm | some updates for release; | file | diff | annotate |
| Wed, 12 May 2010 13:52:34 +0200 | wenzelm | updated some version numbers; | file | diff | annotate |
| Sun, 22 Nov 2009 14:13:18 +0100 | wenzelm | misc tuning and updates for official release; | file | diff | annotate |
| Tue, 11 Aug 2009 15:53:13 +0200 | wenzelm | clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository; | file | diff | annotate |
| Wed, 15 Apr 2009 20:03:08 +0200 | wenzelm | misc tuning for Isabelle2009; | file | diff | annotate |