Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- basic setup of Isabelle setup tool --- pure Java, no dependencies;
- merged
- guess package more directly;
- merged
- Just one lemma
- proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
- clarified platforms;
- merged
- proper jEdit.props (amending ff716ecb0805);
- update to gmp-6.2.1, with support for arm64-darwin;
- clarified platforms;
- clarified options: implicitly support both x86_64 and arm64;
- tuned whitespace;
- centralized more lemmas
- avoid Fun.swap
- guide is out of focus
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- merged
- fixed some latex; tried the alternative definition of Ramsey
- Trying out Ramsey_eq for simpler proofs
- more tiny tweaks
- centralized more lemmas
- avoid Fun.swap
- guide is out of focus
The file was modified | thys/Nash_Williams/Nash_Williams.thy |
The file was modified | thys/Nash_Williams/Nash_Williams.thy |
The file was modified | thys/Nash_Williams/Nash_Williams.thy |
The file was modified | thys/Graph_Theory/Auxiliary.thy |
The file was modified | thys/Planarity_Certificates/Planarity/Permutations_2.thy |