Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- proper build for fresh target directory (amending d9823224fcfe);
- put more resources into jedit_build component;
- more brackets (see f6b453449cc6);
- more brackets;
- proper settings variable, amending 6e85281177df;
- merged
- tuned proofs --- avoid z3, which is absent on arm64-linux;
- proper condition: z3 could be absent, e.g. on arm64-linux;
- build auxiliary jEdit component in Isabelle/Scala; clarified directory layout;
- separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
- tuned message;
- clarified signature;
- tuned signature;
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy
The file was modified | thys/Relational_Minimum_Spanning_Trees/Boruvka.thy |
The file was modified | thys/Relational_Minimum_Spanning_Trees/document/root.tex |