| Thu, 25 Nov 2021 19:56:01 +0100 |
wenzelm |
maintain option kodkod_scala within theory context, to allow local modification;
|
file |
diff |
annotate
|
| Wed, 29 Sep 2021 23:45:50 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 17:29:49 +0100 |
wenzelm |
clarified timeouts in Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 11:59:59 +0200 |
wenzelm |
obsolete --- Java is always present via component;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 11:35:21 +0200 |
wenzelm |
obsolete --- KODKODI is always present via component;
|
file |
diff |
annotate
|
| Tue, 25 Aug 2020 14:54:41 +0200 |
wenzelm |
removed pointless version checks: Isabelle component integration does the job already;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2020 14:48:00 +0200 |
wenzelm |
proper treatment of absolute deadline vs. relative timeout;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2015 19:39:08 +0200 |
wenzelm |
proper context for Object_Logic operations;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Fri, 31 Jan 2014 13:42:47 +0100 |
blanchet |
compile
|
file |
diff |
annotate
|
| Fri, 31 Jan 2014 10:23:32 +0100 |
blanchet |
tuned ML file name
|
file |
diff |
annotate
|