| 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
|