| 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
|
| Sat, 30 Oct 2021 13:26:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 30 Oct 2021 13:12:22 +0200 |
wenzelm |
test version of prespective polyml-5.9;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 11:57:49 +0200 |
wenzelm |
added Thm.instantiate_beta;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 20:38:21 +0200 |
wenzelm |
discontinued somewhat pointless antiquotations;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 20:32:40 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 13:13:48 +0200 |
wenzelm |
local fixes for "lemma" antiquotation;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2021 15:11:40 +0200 |
wenzelm |
more CONTRIBUTORS and NEWS;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
| Fri, 15 Oct 2021 19:25:31 +0200 |
wenzelm |
discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
|
file |
diff |
annotate
|
| Sun, 10 Oct 2021 14:45:53 +0000 |
haftmann |
avoid overaggressive contraction of conversions
|
file |
diff |
annotate
|
| Sat, 09 Oct 2021 16:41:21 +0000 |
haftmann |
normalizing NOT (numeral _) (again)
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 23:42:10 +0200 |
wenzelm |
recover NEWS from 78d1f73bbeaa;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 22:46:47 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 06 Oct 2021 14:19:46 +0200 |
eberlm |
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 10:34:48 +0200 |
desharna |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Wed, 06 Oct 2021 21:18:00 +0200 |
wenzelm |
updated to Vampire 4.6, as proposed by Martin Desharnais;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 20:51:40 +0200 |
wenzelm |
removed pointless NEWS: both Docker/ubuntu and Cygwin provide perl by default;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 20:07:51 +0200 |
wenzelm |
discontinued perl;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 15:01:50 +0200 |
wenzelm |
clarified and updated for release;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 14:02:11 +0200 |
wenzelm |
more NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| Mon, 04 Oct 2021 13:39:38 +0200 |
wenzelm |
support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 22:11:34 +0200 |
wenzelm |
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:27:13 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Wed, 29 Sep 2021 11:55:09 +0200 |
wenzelm |
clarified examples;
|
file |
diff |
annotate
|
| Tue, 28 Sep 2021 17:08:38 +0200 |
wenzelm |
more convenient ML arguments: avoid excessive nesting of cartouches;
|
file |
diff |
annotate
|
| Sun, 26 Sep 2021 20:13:28 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 26 Sep 2021 18:49:55 +0200 |
wenzelm |
improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
|
file |
diff |
annotate
|
| Sat, 25 Sep 2021 07:45:27 +0000 |
haftmann |
NOT is part of syntax bundle also
|
file |
diff |
annotate
|
| Wed, 22 Sep 2021 12:03:59 +0200 |
wenzelm |
proper NEWS;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2021 11:58:45 +0200 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Tue, 21 Sep 2021 13:12:14 +0200 |
wenzelm |
ML antiquotations for object-logic judgment;
|
file |
diff |
annotate
|
| Tue, 21 Sep 2021 00:20:55 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sun, 19 Sep 2021 21:14:14 +0200 |
wenzelm |
support ML antiquotations with fn abstraction;
|
file |
diff |
annotate
|
| Sat, 11 Sep 2021 21:16:23 +0200 |
wenzelm |
ML antiquotations for type constructors and term constants;
|
file |
diff |
annotate
|
| Sat, 11 Sep 2021 13:04:32 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Fri, 10 Sep 2021 23:18:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 10 Sep 2021 23:03:47 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 10 Sep 2021 15:08:09 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 21 Aug 2021 20:12:15 +0000 |
haftmann |
consolidation of rules for bit operations
|
file |
diff |
annotate
|
| Wed, 18 Aug 2021 23:04:58 +0200 |
wenzelm |
support configuration options "show_results";
|
file |
diff |
annotate
|
| Thu, 05 Aug 2021 07:12:49 +0000 |
haftmann |
clarified abstract and concrete boolean algebras
|
file |
diff |
annotate
|
| Tue, 03 Aug 2021 10:14:48 +0200 |
desharna |
fixed typo
|
file |
diff |
annotate
|
| Mon, 02 Aug 2021 10:01:06 +0000 |
haftmann |
moved theory Bit_Operations into Main corpus
|
file |
diff |
annotate
|