| 2014-11-02 | wenzelm | 2014-11-02 | modernized header uniformly as section; | file | diff | annotate |
| 2014-09-11 | blanchet | 2014-09-11 | updated news | file | diff | annotate |
| 2014-09-09 | blanchet | 2014-09-09 | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| 2010-12-06 | wenzelm | 2010-12-06 | avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle; | file | diff | annotate |
| 2010-09-08 | haftmann | 2010-09-08 | modernized primrec | file | diff | annotate |
| 2007-08-17 | wenzelm | 2007-08-17 | added encoding spec for jEdit; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | isatool fixheaders; | file | diff | annotate |
| 2005-09-20 | wenzelm | 2005-09-20 | Chinese Unicode example; | file | diff | annotate |