wenzelm [Wed, 15 Apr 2009 19:52:45 +0200] rev 30897
tuned;
wenzelm [Wed, 15 Apr 2009 15:27:13 +0200] rev 30896
more generic error message, which also covers more fundamental failure;
wenzelm [Wed, 15 Apr 2009 11:14:48 +0200] rev 30895
updated for Isabelle2009;
wenzelm [Tue, 14 Apr 2009 23:58:46 +0200] rev 30894
tuned;
wenzelm [Tue, 14 Apr 2009 18:18:15 +0200] rev 30893
more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet;
wenzelm [Tue, 14 Apr 2009 17:47:31 +0200] rev 30892
merged
wenzelm [Tue, 14 Apr 2009 17:47:24 +0200] rev 30891
actually invoke ISABELLE_TOOL;
wenzelm [Tue, 14 Apr 2009 15:41:40 +0200] rev 30890
added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
wenzelm [Tue, 14 Apr 2009 14:37:44 +0200] rev 30889
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
wenzelm [Tue, 14 Apr 2009 12:27:18 +0200] rev 30888
misc updates for Isabelle2009;