| 2014-06-27 | wenzelm | 2014-06-27 | minor renovation of slightly odd and old README; | file | diff | annotate |
| 2011-03-22 | blanchet | 2011-03-22 | remove lie from documentation | file | diff | annotate |
| 2009-07-09 | wenzelm | 2009-07-09 | removed obsolete CVS Ids; | file | diff | annotate |
| 2008-10-04 | wenzelm | 2008-10-04 | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
| 2008-03-26 | huffman | 2008-03-26 | fix spelling errors | file | diff | annotate |
| 2005-03-07 | webertj | 2005-03-07 | HTML 4.01 Transitional conformity | file | diff | annotate |
| 2004-11-14 | webertj | 2004-11-14 | DOCTYPE declaration added | file | diff | annotate |
| 2000-10-25 | wenzelm | 2000-10-25 | add \<le> to list of "good" symbols; | file | diff | annotate |
| 2000-10-20 | wenzelm | 2000-10-20 | tuned; | file | diff | annotate |
| 2000-10-18 | wenzelm | 2000-10-18 | "The Supplemental Isabelle/HOL Library"; | file | diff | annotate |