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 <[email protected]> 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). _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
