makarius at sketis.net
Tue Sep 16 17:22:07 CEST 2008
* The Isabelle "emacs" tool provides a specific interface to invoke
Proof General / Emacs, with more explicit failure if that is not
installed (the old isabelle-interface script silently falls back on
isabelle-process). The PROOFGENERAL_HOME setting determines the
installation location of the Proof General distribution.
* The Isabelle System Manual (system) has been updated, with formally
checked references as hyperlinks.
More information about the isabelle-dev