| Thu, 03 Jan 2019 21:36:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 21:06:39 +0100 |
wenzelm |
support for "isabelle update -u mixfix_cartouches";
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 21:04:16 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 16:42:15 +0100 |
wenzelm |
mixfix annotations may use cartouches;
|
file |
diff |
annotate
|
| Tue, 01 Jan 2019 18:33:19 +0100 |
Andreas Lochbihler |
merged
|
file |
diff |
annotate
|
| Tue, 01 Jan 2019 17:04:53 +0100 |
Andreas Lochbihler |
new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
|
file |
diff |
annotate
|
| Sun, 30 Dec 2018 10:34:56 +0000 |
haftmann |
prefer naming convention from datatype package for strong congruence rules
|
file |
diff |
annotate
|
| Wed, 26 Dec 2018 20:57:23 +0100 |
wenzelm |
{* verbatim *} is explicit legacy feature;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2018 11:43:48 +0100 |
wenzelm |
more ML antiquotations;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2018 23:43:10 +0100 |
wenzelm |
more general command 'generate_file' for registered file types, notably Haskell;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2018 14:46:00 +0100 |
wenzelm |
use Isabelle fonts for all GUI look-and-feels;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2018 18:56:44 +0100 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
| Mon, 19 Nov 2018 13:40:04 +0100 |
nipkow |
Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
|
file |
diff |
annotate
|
| Sat, 10 Nov 2018 19:39:38 +0100 |
wenzelm |
added ML antiquotation @{master_dir};
|
file |
diff |
annotate
|
| Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|