| 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 |
| Sun, 23 Jan 2011 13:28:10 +0100 | wenzelm | Added tag isa2011-test2 for changeset 237328506a42 | changeset | files |
| Sun, 23 Jan 2011 01:03:42 +0100 | berghofe | Documented unused_thms | changeset | files |
| Fri, 21 Jan 2011 22:04:12 +0100 | wenzelm | JVM/Windows: more robust treatment of unicode in file names; | changeset | files |