[isabelle-dev] Towards the next release

[Lawrence Paulson]

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

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).