| Tue, 02 Apr 2019 13:02:03 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Mon, 01 Apr 2019 21:58:45 +0200 |
wenzelm |
'code_reflect' only supports new-style 'file_prefix';
|
file |
diff |
annotate
|
| Fri, 29 Mar 2019 13:42:17 +0100 |
wenzelm |
clarified 'file_prefix';
|
file |
diff |
annotate
|
| Thu, 28 Mar 2019 21:24:55 +0100 |
wenzelm |
"export_code ... file_prefix ..." is the preferred way to produce output within the logical file-system within the theory context, as well as session exports;
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 13:48:46 +0100 |
wenzelm |
documentation of document markers and re-interpreted command tags;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2019 20:12:50 +0100 |
wenzelm |
NEWS for proper Isabelle version;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 20:15:30 +0100 |
wenzelm |
access OCaml tools and libraries via ISABELLE_OCAMLFIND;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2019 21:17:40 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 14 Mar 2019 16:55:06 +0100 |
wenzelm |
more specific keyword kinds;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2019 19:06:40 +0100 |
haftmann |
include zarith in the default opam setup
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 15:16:45 +0000 |
haftmann |
migrated from Nums to Zarith as library for OCaml integer arithmetic
|
file |
diff |
annotate
|
| Tue, 12 Mar 2019 15:34:33 +0100 |
wenzelm |
updated to polyml-5.8 (official release);
|
file |
diff |
annotate
|
| Tue, 05 Mar 2019 07:00:21 +0000 |
haftmann |
avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Thu, 21 Feb 2019 09:15:07 +0000 |
haftmann |
streamlined specification interfaces
|
file |
diff |
annotate
|
| Thu, 21 Feb 2019 09:15:06 +0000 |
haftmann |
sligthly more interpunctation and qualification
|
file |
diff |
annotate
|
| Thu, 21 Feb 2019 09:15:06 +0000 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| Wed, 20 Feb 2019 12:10:40 +0100 |
wenzelm |
updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
|
file |
diff |
annotate
|
| Fri, 15 Feb 2019 17:00:21 +0100 |
wenzelm |
clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 17:19:04 +0100 |
Manuel Eberl |
Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 15:39:37 +0100 |
Manuel Eberl |
Exponentiation by squaring, fast modular exponentiation
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 12:16:03 +0100 |
Manuel Eberl |
More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 22:53:35 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 21:59:30 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 17:18:15 +0100 |
wenzelm |
added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 13:08:59 +0000 |
haftmann |
proper congruence rule for image operator
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 21:18:26 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 13:25:33 +0100 |
wenzelm |
discontinued obsolete option "checkpoint";
|
file |
diff |
annotate
|
| Mon, 28 Jan 2019 20:32:09 +0100 |
wenzelm |
revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2019 16:29:11 +0100 |
nipkow |
changed precedence of big operators: now like any other function symbol
|
file |
diff |
annotate
|