Thu, 04 Nov 2021 12:37:45 +0100 |
wenzelm |
avoid conflict with future keyword;
|
file |
diff |
annotate
|
Tue, 02 Nov 2021 15:40:02 +0100 |
wenzelm |
updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
|
file |
diff |
annotate
|
Tue, 03 Aug 2021 10:33:35 +0200 |
desharna |
fixed malconfigured option output_dir in mirabelle
|
file |
diff |
annotate
|
Wed, 28 Jul 2021 19:17:31 +0200 |
desharna |
changed Mirabelle_Sledgehammer keep option from path to boolean
|
file |
diff |
annotate
|
Wed, 28 Jul 2021 14:16:19 +0200 |
desharna |
added automatic uniform stride option to Mirabelle
|
file |
diff |
annotate
|
Fri, 11 Jun 2021 09:33:43 +0200 |
desharna |
tuned Mirabelle
|
file |
diff |
annotate
|
Thu, 10 Jun 2021 11:21:57 +0200 |
desharna |
refactored Mirabelle to produce output in real time
|
file |
diff |
annotate
|
Sun, 06 Jun 2021 20:29:52 +0200 |
wenzelm |
clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 23:40:44 +0200 |
wenzelm |
proper usage (amending f7ea394490f5);
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 23:37:27 +0200 |
wenzelm |
merged, resolving minor conflict;
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 22:30:17 +0200 |
wenzelm |
removed pointless option (see 3d0952893db8);
|
file |
diff |
annotate
|
Fri, 04 Jun 2021 23:03:12 +0200 |
desharna |
moved stride option from sledgehammer action to main mirabelle
|
file |
diff |
annotate
|
Sun, 16 May 2021 13:14:16 +0200 |
wenzelm |
ignore session build timeout, notably in AFP;
|
file |
diff |
annotate
|
Sat, 15 May 2021 22:36:36 +0200 |
wenzelm |
proper build of required session images vs. build with Mirabelle presentation;
|
file |
diff |
annotate
|
Sat, 15 May 2021 17:38:49 +0200 |
wenzelm |
clarified command-line;
|
file |
diff |
annotate
|
Sat, 15 May 2021 12:33:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 15 May 2021 12:25:24 +0200 |
wenzelm |
clarified log content;
|
file |
diff |
annotate
|
Fri, 14 May 2021 21:32:11 +0200 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|