| 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
|
| Sun, 01 Aug 2021 10:20:34 +0000 |
haftmann |
organize syntax for word operations in bundles
|
file |
diff |
annotate
|
| Tue, 27 Jul 2021 15:20:20 +0200 |
wenzelm |
various improvements of "isabelle scala_project";
|
file |
diff |
annotate
|
| Sun, 18 Jul 2021 22:13:36 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 18 Jul 2021 21:47:20 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 22:49:24 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 15:10:52 +0200 |
desharna |
added documentation for changes to Sledgehammer option "lam_trans"
|
file |
diff |
annotate
|
| Sun, 04 Jul 2021 18:35:57 +0100 |
paulson |
Imported lots of material from Stirling_Formula/Gamma_Asymptotics
|
file |
diff |
annotate
|