2008-10-04 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
2008-10-03 | wenzelm | removed HOL-Plain -- already included in HOL; | file | diff | annotate |
2008-06-28 | wenzelm | include HOL-Plain; | file | diff | annotate |
2007-10-24 | wenzelm | added HOL-Statespace session; | file | diff | annotate |
2007-10-08 | wenzelm | moved HOL-Nominal keywords into default collection (isar-keywords.el); | file | diff | annotate |
2007-10-07 | wenzelm | emacs vs. jedit; | file | diff | annotate |
2007-10-06 | wenzelm | use isatool keywords -- generate from logs instead of session images; | file | diff | annotate |
2007-07-10 | wenzelm | cd ISABELLE_HOME/etc; | file | diff | annotate |
2006-11-11 | wenzelm | Update standard keyword files. | file | diff | annotate |