| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| Mon, 06 Dec 2010 14:45:29 +0100 | wenzelm | avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle; | file | diff | annotate |
| Sat, 28 Feb 2009 21:34:33 +0100 | wenzelm | A Serbian theory, by Filip Maric. | file | diff | annotate |