2019-10-09 |
haftmann |
dedicated fact collections for algebraic simplification rules potentially splitting goals
|
file |
diff |
annotate
|
2019-10-04 |
wenzelm |
Term_XML.Encode/Decode.term uses Const "typargs";
|
file |
diff |
annotate
|
2019-09-12 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
2019-09-12 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
2019-09-11 |
wenzelm |
disallow overlapping session directories;
|
file |
diff |
annotate
|
2019-09-08 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
2019-08-24 |
ballarin |
Tracing of locale activation.
|
file |
diff |
annotate
|
2019-08-23 |
wenzelm |
clarified 'thm_deps' command;
|
file |
diff |
annotate
|
2019-08-20 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2019-08-17 |
wenzelm |
added ML antiquotation @{oracle_name};
|
file |
diff |
annotate
|
2019-08-17 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
2019-08-13 |
wenzelm |
NEWS and example for Theory.join_theory;
|
file |
diff |
annotate
|
2019-08-13 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
2019-08-13 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
2019-07-29 |
nipkow |
News for bind infixl
|
file |
diff |
annotate
|
2019-06-14 |
haftmann |
official fact collection sign_simps
|
file |
diff |
annotate
|
2019-06-14 |
haftmann |
clear separation of types for bits (False / True) and Z2 (0 / 1)
|
file |
diff |
annotate
|
2019-06-14 |
haftmann |
removed relics of ASCII syntax for indexed big operators
|
file |
diff |
annotate
|
2019-06-01 |
wenzelm |
merged
|
file |
diff |
annotate
|
2019-05-28 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2019-05-27 |
wenzelm |
merged
|
file |
diff |
annotate
|
2019-05-18 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2019-05-11 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
2019-05-10 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
2019-05-09 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
2019-05-03 |
haftmann |
more NEWS
|
file |
diff |
annotate
|
2019-04-30 |
paulson |
Algebraic closure: moving more theorems into their rightful places
|
file |
diff |
annotate
|
2019-04-16 |
haftmann |
eliminated type class
|
file |
diff |
annotate
|
2019-04-16 |
haftmann |
entry point for comprehensive word library
|
file |
diff |
annotate
|
2019-04-16 |
wenzelm |
tuned for release;
|
file |
diff |
annotate
|
2019-04-14 |
paulson |
Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
|
file |
diff |
annotate
|
2019-04-13 |
wenzelm |
more abbrevs;
|
file |
diff |
annotate
|
2019-04-12 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
2019-04-11 |
paulson |
merged
|
file |
diff |
annotate
|
2019-04-11 |
paulson |
type instantiations for poly_mapping as a real_normed_vector
|
file |
diff |
annotate
|
2019-04-11 |
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
|
2019-04-11 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
2019-04-10 |
wenzelm |
merged
|
file |
diff |
annotate
|
2019-04-10 |
wenzelm |
clarified build of standard heaps;
|
file |
diff |
annotate
|
2019-04-09 |
paulson |
merged
|
file |
diff |
annotate
|
2019-04-08 |
paulson |
NEWS on homology
|
file |
diff |
annotate
|
2019-04-09 |
wenzelm |
tuned -- prefer Isar command 'compile_generated_files';
|
file |
diff |
annotate
|
2019-04-07 |
traytel |
NEWS
|
file |
diff |
annotate
|
2019-04-07 |
wenzelm |
proper etc/preferences;
|
file |
diff |
annotate
|
2019-04-06 |
wenzelm |
support both hinted and unhinted fonts;
|
file |
diff |
annotate
|
2019-04-05 |
wenzelm |
proper default;
|
file |
diff |
annotate
|
2019-04-05 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
2019-04-04 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
2019-04-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2019-04-04 |
wenzelm |
documentation for generated files;
|
file |
diff |
annotate
|
2019-04-02 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2019-04-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2019-04-02 |
wenzelm |
more convenient export;
|
file |
diff |
annotate
|
2019-04-02 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2019-04-01 |
wenzelm |
'code_reflect' only supports new-style 'file_prefix';
|
file |
diff |
annotate
|
2019-03-29 |
wenzelm |
clarified 'file_prefix';
|
file |
diff |
annotate
|
2019-03-28 |
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
|
2019-03-24 |
wenzelm |
documentation of document markers and re-interpreted command tags;
|
file |
diff |
annotate
|
2019-03-23 |
wenzelm |
NEWS for proper Isabelle version;
|
file |
diff |
annotate
|
2019-03-20 |
wenzelm |
access OCaml tools and libraries via ISABELLE_OCAMLFIND;
|
file |
diff |
annotate
|