blanchet [Mon, 09 Sep 2013 13:47:58 +0200] rev 53475
enriched data structure with necessary theorems
wenzelm [Sun, 08 Sep 2013 19:25:06 +0200] rev 53474
updated exe -- more explicit icon;
wenzelm [Sun, 08 Sep 2013 18:37:42 +0200] rev 53473
more official lib/logo/isabelle.bmp;
wenzelm [Sun, 08 Sep 2013 18:10:12 +0200] rev 53472
use windows_app based on WinRun4J;
wenzelm [Sun, 08 Sep 2013 17:51:56 +0200] rev 53471
updated to WinRun4J;
traytel [Sun, 08 Sep 2013 12:26:07 +0200] rev 53470
tuned whitespace
traytel [Sun, 08 Sep 2013 12:26:05 +0200] rev 53469
don't register "sequential" as a keyword for now as this breaks the parser for function
wenzelm [Sat, 07 Sep 2013 23:09:26 +0200] rev 53468
tuned proofs;
wenzelm [Sat, 07 Sep 2013 20:12:38 +0200] rev 53467
merged
wenzelm [Sat, 07 Sep 2013 19:45:36 +0200] rev 53466
tuned message;
wenzelm [Sat, 07 Sep 2013 19:18:05 +0200] rev 53465
tuned message;
wenzelm [Sat, 07 Sep 2013 18:37:25 +0200] rev 53464
imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);
wenzelm [Sat, 07 Sep 2013 18:24:24 +0200] rev 53463
generate application wrapper for Linux;
wenzelm [Sat, 07 Sep 2013 17:43:13 +0200] rev 53462
observe "stopped" after Cygwin init (which is itself uninterruptible);