Sun, 08 Sep 2013 19:25:06 +0200 updated exe -- more explicit icon;
wenzelm [Sun, 08 Sep 2013 19:25:06 +0200] rev 53474
updated exe -- more explicit icon;
Sun, 08 Sep 2013 18:37:42 +0200 more official lib/logo/isabelle.bmp;
wenzelm [Sun, 08 Sep 2013 18:37:42 +0200] rev 53473
more official lib/logo/isabelle.bmp;
Sun, 08 Sep 2013 18:10:12 +0200 use windows_app based on WinRun4J;
wenzelm [Sun, 08 Sep 2013 18:10:12 +0200] rev 53472
use windows_app based on WinRun4J;
Sun, 08 Sep 2013 17:51:56 +0200 updated to WinRun4J;
wenzelm [Sun, 08 Sep 2013 17:51:56 +0200] rev 53471
updated to WinRun4J;
Sun, 08 Sep 2013 12:26:07 +0200 tuned whitespace
traytel [Sun, 08 Sep 2013 12:26:07 +0200] rev 53470
tuned whitespace
Sun, 08 Sep 2013 12:26:05 +0200 don't register "sequential" as a keyword for now as this breaks the parser for function
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
Sat, 07 Sep 2013 23:09:26 +0200 tuned proofs;
wenzelm [Sat, 07 Sep 2013 23:09:26 +0200] rev 53468
tuned proofs;
Sat, 07 Sep 2013 20:12:38 +0200 merged
wenzelm [Sat, 07 Sep 2013 20:12:38 +0200] rev 53467
merged
Sat, 07 Sep 2013 19:45:36 +0200 tuned message;
wenzelm [Sat, 07 Sep 2013 19:45:36 +0200] rev 53466
tuned message;
Sat, 07 Sep 2013 19:18:05 +0200 tuned message;
wenzelm [Sat, 07 Sep 2013 19:18:05 +0200] rev 53465
tuned message;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip