| Sun, 19 May 2013 20:15:00 +0200 |
haftmann |
tuned and clarified
|
changeset |
files
|
| Sun, 19 May 2013 20:15:00 +0200 |
haftmann |
tuned, including signature
|
changeset |
files
|
| Sat, 18 May 2013 13:04:10 +0200 |
wenzelm |
discontinued odd workaround for scala-2.10.0-RC1;
|
changeset |
files
|
| Sat, 18 May 2013 13:00:05 +0200 |
wenzelm |
discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
|
changeset |
files
|
| Sat, 18 May 2013 12:41:31 +0200 |
wenzelm |
explicit notion of public options, which are shown in the editor options dialog;
|
changeset |
files
|
| Fri, 17 May 2013 23:31:02 +0200 |
wenzelm |
back to more paranoid interrupt test after request is cancelled -- avoid race condition;
|
changeset |
files
|
| Fri, 17 May 2013 21:15:33 +0200 |
wenzelm |
timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
|
changeset |
files
|
| Fri, 17 May 2013 21:06:01 +0200 |
wenzelm |
added isabelle tty option -o;
|
changeset |
files
|
| Fri, 17 May 2013 21:02:08 +0200 |
wenzelm |
oops;
|
changeset |
files
|
| Fri, 17 May 2013 20:53:28 +0200 |
wenzelm |
renamed 'print_configs' to 'print_options';
|
changeset |
files
|
| Fri, 17 May 2013 20:41:45 +0200 |
wenzelm |
proper option quick_and_dirty;
|
changeset |
files
|
| Fri, 17 May 2013 20:30:04 +0200 |
wenzelm |
retain quick_and_dirty as-is -- no censorship;
|
changeset |
files
|
| Fri, 17 May 2013 19:11:03 +0200 |
wenzelm |
more system-atic options;
|
changeset |
files
|
| Fri, 17 May 2013 19:04:52 +0200 |
wenzelm |
added isabelle-process option -o;
|
changeset |
files
|
| Fri, 17 May 2013 18:50:55 +0200 |
wenzelm |
more precise "eval", cf. isabelle build;
|
changeset |
files
|