| 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
|
| Sat, 21 Dec 2013 09:44:30 +0100 |
blanchet |
compile + reduce problem size by a notch
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 11:18:06 +0100 |
blanchet |
got rid of support for Kodkodi < 1.2.14
|
file |
diff |
annotate
|
| Thu, 30 Aug 2012 11:31:20 +0200 |
blanchet |
adjust example
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 18:33:18 +0100 |
blanchet |
ported Minipick to "set"
|
file |
diff |
annotate
|
| Wed, 12 Oct 2011 16:21:07 +0200 |
wenzelm |
discontinued obsolete alias structure ProofContext;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2011 14:25:53 +0200 |
blanchet |
first step towards extending Minipick with more translations
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 15:55:16 +0200 |
blanchet |
reintroduced Minipick as Nitpick example
|
file |
diff |
annotate
|