I get a (minor) error when running this version (MacOS 10.6,
double-clicking on isa2011-test2.app icon):
if I have theory file being processed, and I quit Isabelle/Aquamacs, I
get a dialogue box telling me that I have active processes, and do I
want to kill them. If I say yes, then I get a
On Tue, 25 Jan 2011, Lucas Dixon wrote:
Seems to be coming from the Isabelle application wrapper: Scenario 2: I
start-up by Aquamacs directly - not via the Isabelle icon, using my
emacs settings which starts PG using the load-file command, then when I
quit (by command-Q). In this case, I
On Mon, 24 Jan 2011, Makarius wrote:
* ProofGeneral-4.1pre110112: deleted .elc files on Linux to improve
compatibility with GNU Emacs 23.1.x instead of 23.2.1
It is also unclear when exactly PG 4.1-final will be released this week.
We stick with ProofGeneral-4.1pre110112 for the