| Sun, 27 Oct 2019 20:11:30 -0400 |
immler |
NEWS
|
file |
diff |
annotate
|
| Sun, 27 Oct 2019 16:47:27 +0100 |
nipkow |
NEWS
|
file |
diff |
annotate
|
| Wed, 09 Oct 2019 14:51:54 +0000 |
haftmann |
dedicated fact collections for algebraic simplification rules potentially splitting goals
|
file |
diff |
annotate
|
| Fri, 04 Oct 2019 15:30:52 +0200 |
wenzelm |
Term_XML.Encode/Decode.term uses Const "typargs";
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 14:22:47 +0200 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 13:33:09 +0200 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2019 16:06:10 +0200 |
wenzelm |
disallow overlapping session directories;
|
file |
diff |
annotate
|
| Sun, 08 Sep 2019 17:15:46 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sat, 24 Aug 2019 12:03:00 +0200 |
ballarin |
Tracing of locale activation.
|
file |
diff |
annotate
|
| Fri, 23 Aug 2019 14:32:51 +0200 |
wenzelm |
clarified 'thm_deps' command;
|
file |
diff |
annotate
|
| Tue, 20 Aug 2019 22:01:37 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2019 17:21:30 +0200 |
wenzelm |
added ML antiquotation @{oracle_name};
|
file |
diff |
annotate
|
| Sat, 17 Aug 2019 13:17:40 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2019 20:54:08 +0200 |
wenzelm |
NEWS and example for Theory.join_theory;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2019 20:19:15 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2019 20:16:03 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 16:26:06 +0200 |
nipkow |
News for bind infixl
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:28 +0000 |
haftmann |
official fact collection sign_simps
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:27 +0000 |
haftmann |
clear separation of types for bits (False / True) and Z2 (0 / 1)
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:27 +0000 |
haftmann |
removed relics of ASCII syntax for indexed big operators
|
file |
diff |
annotate
|
| Sat, 01 Jun 2019 13:53:23 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 28 May 2019 19:52:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 27 May 2019 16:47:17 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sat, 18 May 2019 12:08:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 11 May 2019 19:08:26 +0200 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Fri, 10 May 2019 10:41:38 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Thu, 09 May 2019 16:40:58 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Fri, 03 May 2019 20:04:42 +0200 |
haftmann |
more NEWS
|
file |
diff |
annotate
|
| Tue, 30 Apr 2019 11:57:45 +0100 |
paulson |
Algebraic closure: moving more theorems into their rightful places
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 19:50:20 +0000 |
haftmann |
eliminated type class
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 19:50:19 +0000 |
haftmann |
entry point for comprehensive word library
|
file |
diff |
annotate
|
| Tue, 16 Apr 2019 20:00:14 +0200 |
wenzelm |
tuned for release;
|
file |
diff |
annotate
|
| Sun, 14 Apr 2019 13:32:26 +0100 |
paulson |
Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
|
file |
diff |
annotate
|
| Sat, 13 Apr 2019 13:30:02 +0200 |
wenzelm |
more abbrevs;
|
file |
diff |
annotate
|
| Fri, 12 Apr 2019 22:57:17 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:49:55 +0100 |
paulson |
merged
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 15:26:04 +0100 |
paulson |
type instantiations for poly_mapping as a real_normed_vector
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 15:44:06 +0200 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 15:45:16 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 15:10:43 +0200 |
wenzelm |
clarified build of standard heaps;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 12:36:53 +0100 |
paulson |
merged
|
file |
diff |
annotate
|
| Mon, 08 Apr 2019 20:37:03 +0100 |
paulson |
NEWS on homology
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 10:51:35 +0200 |
wenzelm |
tuned -- prefer Isar command 'compile_generated_files';
|
file |
diff |
annotate
|
| Sun, 07 Apr 2019 21:05:22 +0200 |
traytel |
NEWS
|
file |
diff |
annotate
|
| Sun, 07 Apr 2019 12:41:52 +0200 |
wenzelm |
proper etc/preferences;
|
file |
diff |
annotate
|
| Sat, 06 Apr 2019 22:05:25 +0200 |
wenzelm |
support both hinted and unhinted fonts;
|
file |
diff |
annotate
|
| Fri, 05 Apr 2019 22:58:29 +0200 |
wenzelm |
proper default;
|
file |
diff |
annotate
|
| Fri, 05 Apr 2019 21:54:08 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2019 23:05:53 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2019 23:01:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2019 22:18:16 +0200 |
wenzelm |
documentation for generated files;
|
file |
diff |
annotate
|
| Tue, 02 Apr 2019 14:46:01 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Tue, 02 Apr 2019 14:12:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 02 Apr 2019 13:22:16 +0200 |
wenzelm |
more convenient export;
|
file |
diff |
annotate
|
| 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
|