wenzelm [Sun, 28 Dec 2008 18:40:38 +0100] rev 34449
superficial tuning;
improved comments and sectioning;
wenzelm [Sun, 28 Dec 2008 16:40:29 +0100] rev 34448
use symbolic Markup elements instead of literal strings;
wenzelm [Sun, 28 Dec 2008 12:59:27 +0100] rev 34447
replaced inUIThread by scala-style swing/swing_async combinators;
wenzelm [Sat, 27 Dec 2008 15:20:46 +0100] rev 34446
dynamic instances Isabelle.system, Isabelle.symbols;
wenzelm [Sat, 27 Dec 2008 15:20:02 +0100] rev 34445
use System.getenv temporarily;
wenzelm [Sat, 27 Dec 2008 15:03:32 +0100] rev 34444
replaced static IsabelleSystem by Isabelle.system;
wenzelm [Sat, 27 Dec 2008 14:13:05 +0100] rev 34443
renamed object Plugin to Isabelle;
renamed Plugin.self to Isabelle.plugin;
renamed Isabelle.plugin.symbols to Isabelle.symbols;
wenzelm [Sat, 27 Dec 2008 12:29:15 +0100] rev 34442
IsabelleSystem.find_logics;
wenzelm [Sun, 21 Dec 2008 22:09:33 +0100] rev 34441
proper import isabelle.renderer.UserAgent;
wenzelm [Sun, 21 Dec 2008 22:09:08 +0100] rev 34440
dummy class to make ant javadoc work;