[isabelle-dev] Towards Isabelle2011 release

Makarius makarius at sketis.net
Tue Jan 25 19:52:05 CET 2011

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 


More information about the isabelle-dev mailing list