Sat, 27 Nov 2021 10:01:40 +0100 |
desharna |
added lemma mono_multp
|
file |
diff |
annotate
|
Fri, 26 Nov 2021 11:14:10 +0100 |
desharna |
added Multiset.multp as predicate equivalent of Multiset.mult
|
file |
diff |
annotate
|
Fri, 26 Nov 2021 19:44:21 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Fri, 26 Nov 2021 13:07:15 +0100 |
wenzelm |
NEWS on "isabelle mirabelle";
|
file |
diff |
annotate
|
Fri, 26 Nov 2021 13:05:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 21:31:50 +0100 |
wenzelm |
clarified default for kodkod_scala;
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 19:56:01 +0100 |
wenzelm |
maintain option kodkod_scala within theory context, to allow local modification;
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 12:54:21 +0100 |
wenzelm |
NEWS for proper release;
|
file |
diff |
annotate
|
Wed, 24 Nov 2021 22:57:33 +0100 |
wenzelm |
option document_comment_latex supports e.g. Dagstuhl LIPIcs;
|
file |
diff |
annotate
|
Sun, 21 Nov 2021 17:42:11 +0100 |
wenzelm |
clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
|
file |
diff |
annotate
|
Sat, 20 Nov 2021 18:58:23 +0100 |
wenzelm |
Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.;
|
file |
diff |
annotate
|
Sat, 20 Nov 2021 12:59:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 20 Nov 2021 12:53:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 16 Nov 2021 22:38:34 +0100 |
wenzelm |
spelling;
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 14:02:51 +0100 |
desharna |
added asymp_{less,greater} to preorder and moved mult1_lessE out
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 12:19:50 +0100 |
desharna |
renamed multp_code_iff and multeqp_code_iff
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 12:13:49 +0100 |
desharna |
simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0
|
file |
diff |
annotate
|
Thu, 25 Nov 2021 11:33:38 +0100 |
desharna |
renamed Multiset.multp and Multiset.multeqp
|
file |
diff |
annotate
|
Tue, 16 Nov 2021 21:53:09 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Tue, 16 Nov 2021 18:45:31 +0100 |
wenzelm |
proper version;
|
file |
diff |
annotate
|
Tue, 16 Nov 2021 18:45:02 +0100 |
wenzelm |
back to Z3 4.4.0pre for all platforms except arm64-linux: avoid failure e.g. in Padic_Ints (AFP/7a2522dce834);
|
file |
diff |
annotate
|
Mon, 15 Nov 2021 23:52:08 +0100 |
wenzelm |
updated NEWS: arm64-linux support is almost complete;
|
file |
diff |
annotate
|
Fri, 12 Nov 2021 18:47:07 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
Mon, 08 Nov 2021 16:48:42 +0100 |
wenzelm |
discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
|
file |
diff |
annotate
|
Mon, 08 Nov 2021 13:51:24 +0100 |
wenzelm |
clarified messages, depending on option "document_echo";
|
file |
diff |
annotate
|
Wed, 03 Nov 2021 21:06:04 +0100 |
wenzelm |
improved HTML presentation by Fabian Huch;
|
file |
diff |
annotate
|
Tue, 02 Nov 2021 14:05:02 +0100 |
wenzelm |
more robust "isabelle scala_project": Gradle has been replaced by Maven;
|
file |
diff |
annotate
|
Mon, 01 Nov 2021 23:13:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 01 Nov 2021 15:49:03 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Mon, 01 Nov 2021 15:24:53 +0100 |
wenzelm |
some reordering for release;
|
file |
diff |
annotate
|