[isabelle-dev] Towards the next release
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
> (it must be platform/emacs independent, without .elc files).
More information about the isabelle-dev