| 2011-01-30 | wenzelm | delete .elc files unconditionally -- they cause too many incompatibilities; | file | diff | annotate |
| 2011-01-24 | wenzelm | delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x; | file | diff | annotate |
| 2011-01-19 | wenzelm | Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow; | file | diff | annotate |
| 2011-01-14 | wenzelm | updated for release; | file | diff | annotate |
| 2010-06-07 | wenzelm | proper target directory; | file | diff | annotate |
| 2010-06-06 | wenzelm | single heaps archive; | file | diff | annotate |
| 2010-06-04 | wenzelm | one all-inclusive bundle for each platform; | file | diff | annotate |
| 2009-11-26 | wenzelm | re-package Isabelle distribution with add-on components; | file | diff | annotate |