Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
Sun, 04 Sep 2016 21:41:08 +0200 |
wenzelm |
clarified exceptions;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 21:59:21 +0100 |
wenzelm |
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
|
file |
diff |
annotate
| base
|
Tue, 03 Nov 2015 16:35:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 14 Mar 2015 21:16:29 +0100 |
wenzelm |
value-oriented user error, for well-defined Thy_Syntax.chop_common;
|
file |
diff |
annotate
|
Sat, 14 Mar 2015 20:49:10 +0100 |
wenzelm |
more explicit exception User_Error, with value-oriented equality;
|
file |
diff |
annotate
|
Fri, 12 Dec 2014 14:30:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 11 Dec 2014 23:31:30 +0100 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|
Thu, 31 Jul 2014 20:09:30 +0200 |
wenzelm |
more general notion of "user error" including empty message -- NB: Output.error_message needs non-empty string to emit anything;
|
file |
diff |
annotate
|
Mon, 05 May 2014 10:25:09 +0200 |
wenzelm |
more robust process kill -- postpone interrupts on current thread;
|
file |
diff |
annotate
|
Mon, 05 May 2014 09:41:23 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 05 May 2014 09:24:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
Wed, 23 Apr 2014 13:28:32 +0200 |
wenzelm |
explicit Exn.error_message in accordance to Output.error_message in ML;
|
file |
diff |
annotate
|
Wed, 23 Apr 2014 13:05:11 +0200 |
wenzelm |
detect nested interrupts;
|
file |
diff |
annotate
|