isabelle: Changelog

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;

isabelle