| Mon, 24 Jan 2011 21:30:33 +0100 | wenzelm | improved README -- Isabelle symbols and fonts; | changeset | files |
| Mon, 24 Jan 2011 15:39:42 +0100 | wenzelm | delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x; | changeset | files |
| Sun, 23 Jan 2011 16:29:10 +0100 | wenzelm | do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right); | changeset | files |