[isabelle-dev] Towards the next release

Lawrence Paulson lp15 at cam.ac.uk
Thu Nov 29 18:07:19 CET 2012

Will it run without compiled files? And will it run efficiently enough? Certainly I've always compiled my copy.

On 21 Nov 2012, at 10:35, Makarius <makarius at sketis.net> wrote:

>  * A version of Proof General as Isabelle component, like
>    http://isabelle.in.tum.de/components/ProofGeneral-4.1.tar.gz
>    (it must be platform/emacs independent, without .elc files).

More information about the isabelle-dev mailing list