wenzelm [Fri, 06 Sep 2013 22:07:26 +0200] rev 53447
more Proof General legacy;
wenzelm [Fri, 06 Sep 2013 21:28:07 +0200] rev 53446
use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);
wenzelm [Fri, 06 Sep 2013 21:13:19 +0200] rev 53445
warm start of Isabelle/jEdit from Isabelle/Scala;
avoid mass confusion of plugins due to change of -classpath (cf. 5bef05f5ed58);
wenzelm [Fri, 06 Sep 2013 18:15:25 +0200] rev 53444
prefer explicit thread;
wenzelm [Fri, 06 Sep 2013 18:14:50 +0200] rev 53443
tuned proofs;
wenzelm [Fri, 06 Sep 2013 17:55:01 +0200] rev 53442
tuned proofs;
wenzelm [Fri, 06 Sep 2013 17:26:58 +0200] rev 53441
prefer Isabelle/Scala over bash;
actual platform_path (in contrast to eb8806a2e348);
wenzelm [Fri, 06 Sep 2013 17:20:48 +0200] rev 53440
prefer Isabelle/Scala over bash;
wenzelm [Fri, 06 Sep 2013 17:01:49 +0200] rev 53439
prefer warm start via JEdit_Main;
haftmann [Fri, 06 Sep 2013 20:59:36 +0200] rev 53438
slight cleanup of lemma locations; tuned proof