haftmann [Sun, 19 May 2013 20:15:00 +0200] rev 53207
infrastructure for generic data for code symbols (constants, type constructors, classes, instances)
haftmann [Sun, 19 May 2013 20:15:00 +0200] rev 53206
tuned and clarified
haftmann [Sun, 19 May 2013 20:15:00 +0200] rev 53205
tuned, including signature
wenzelm [Sat, 18 May 2013 13:04:10 +0200] rev 53204
discontinued odd workaround for scala-2.10.0-RC1;
wenzelm [Sat, 18 May 2013 13:00:05 +0200] rev 53203
discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
wenzelm [Sat, 18 May 2013 12:41:31 +0200] rev 53202
explicit notion of public options, which are shown in the editor options dialog;
avoid hard-wired stuff;
wenzelm [Fri, 17 May 2013 23:31:02 +0200] rev 53201
back to more paranoid interrupt test after request is cancelled -- avoid race condition;
wenzelm [Fri, 17 May 2013 21:15:33 +0200] rev 53200
timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
wenzelm [Fri, 17 May 2013 21:06:01 +0200] rev 53199
added isabelle tty option -o;
wenzelm [Fri, 17 May 2013 21:02:08 +0200] rev 53198
oops;