Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- clarified files;
- tuned whitespace;
- clarified parsing vs. semantic errors;
- clarified signature;
- added document antiquotation @{tool}; formal check of isabelle tools via Isabelle/Scala;
- more robust isabelle_scala_files; clarified evaluation;
- avoid conflicting base names;
- clarified protocol: Doc.check at run-time via Scala function;
- more antiquotations (reverting 4df341249348);
- tuned;
- tuned signature --- more explicit types;
- more positions;
- support for Scala compile-time positions;
- clarified modules;
- more robust (amending a4d7da18ac5c);
- merged
- merged
- More removal of apply
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- Update change history. Fix a typo.
- adjusting for the re-orientation of order_unique_lemma
The file was modified | metadata/metadata |
The file was modified | thys/Bicategory/document/root.tex |
The file was modified | thys/Polynomial_Factorization/Square_Free_Factorization.thy |