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 don't get a dialogue-box telling me
about the active processes; instead, I get the typical emacs mini-buffer
message. When I say "yes" there, it quits without any strange error
messages.
The dialogue-box is part of the Isabelle.app bundle, it merely shows all
results from stdout/stderr after the process has terminated. I reckon that
the Aquamacs.app merely absorbs such traces, whereever they might come
from.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
