Skip to content
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. proper build for fresh target directory (amending d9823224fcfe);
  2. put more resources into jedit_build component;
  3. more brackets (see f6b453449cc6);
  4. more brackets;
  5. proper settings variable, amending 6e85281177df;
  6. merged
  7. tuned proofs --- avoid z3, which is absent on arm64-linux;
  8. proper condition: z3 could be absent, e.g. on arm64-linux;
  9. build auxiliary jEdit component in Isabelle/Scala; clarified directory layout;
  10. separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
  11. tuned message;
  12. clarified signature;
  13. tuned signature;
Changeset 73661:8b3e672df28c by wenzelm:
proper build for fresh target directory (amending d9823224fcfe);
The file was modified src/Tools/jEdit/lib/Tools/jedit
Changeset 73660:ff716ecb0805 by wenzelm:
put more resources into jedit_build component;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/build_jedit.scala
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/General/path.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit
The file was removedsrc/Tools/jEdit/src/jEdit.props
The file was removedsrc/Tools/jEdit/src/modes/isabelle-ml.xml
The file was removedsrc/Tools/jEdit/src/modes/isabelle-news.xml
The file was removedsrc/Tools/jEdit/src/modes/isabelle-options.xml
The file was removedsrc/Tools/jEdit/src/modes/isabelle-root.xml
The file was removedsrc/Tools/jEdit/src/modes/isabelle.xml
The file was removedsrc/Tools/jEdit/src/modes/sml.xml
Changeset 73659:af82097b4adc by wenzelm:
more brackets (see f6b453449cc6);
The file was modified src/Tools/jEdit/src/modes/isabelle-ml.xml
The file was modified src/Tools/jEdit/src/modes/isabelle-news.xml
The file was modified src/Tools/jEdit/src/modes/isabelle-options.xml
The file was modified src/Tools/jEdit/src/modes/isabelle-root.xml
The file was modified src/Tools/jEdit/src/modes/isabelle.xml
The file was modified src/Tools/jEdit/src/modes/sml.xml
Changeset 73658:f6b453449cc6 by wenzelm:
more brackets;
The file was addedsrc/Tools/jEdit/patches/extended_styles_brackets
The file was removedsrc/Tools/jEdit/patches/extended_styles
Changeset 73657:dceb5dde442f by wenzelm:
proper settings variable, amending 6e85281177df;
The file was modified src/HOL/ROOT
Changeset 73656:0476728f2887 by wenzelm:
merged
Changeset 73655:26a1d66b9077 by wenzelm:
tuned proofs --- avoid z3, which is absent on arm64-linux;
The file was modified src/HOL/Algebra/Finite_Extensions.thy
The file was modified src/HOL/Data_Structures/Interval_Tree.thy
The file was modified src/HOL/Datatype_Examples/FAE_Sequence.thy
The file was modified src/HOL/Datatype_Examples/Regex_ACIDZ.thy
The file was modified src/HOL/Hoare/Hoare_Logic_Abort.thy
The file was modified src/HOL/Homology/Simplices.thy
The file was modified src/HOL/Library/Float.thy
The file was modified src/HOL/Library/Interval_Float.thy
The file was modified src/HOL/Library/Poly_Mapping.thy
The file was modified src/HOL/Library/Ramsey.thy
Changeset 73654:6e85281177df by wenzelm:
proper condition: z3 could be absent, e.g. on arm64-linux;
The file was modified src/HOL/ROOT
Changeset 73653:d9823224fcfe by wenzelm:
build auxiliary jEdit component in Isabelle/Scala;<br>clarified directory layout;
The file was addedsrc/Pure/Admin/build_jedit.scala
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/System/isabelle_tool.scala
The file was modified src/Pure/build-jars
The file was modified src/Tools/jEdit/lib/Tools/jedit
The file was modified src/Tools/jEdit/patches/accelerator_font
The file was modified src/Tools/jEdit/patches/docking
The file was modified src/Tools/jEdit/patches/extended_styles
The file was modified src/Tools/jEdit/patches/folding
The file was modified src/Tools/jEdit/patches/panel_font
The file was modified src/Tools/jEdit/patches/props
The file was modified src/Tools/jEdit/patches/putenv
The file was modified src/Tools/jEdit/patches/title
The file was modified src/Tools/jEdit/patches/vfs_manager
The file was modified src/Tools/jEdit/patches/vfs_marker
Changeset 73652:d5c3eee7da74 by wenzelm:
separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Tools/jEdit/lib/Tools/jedit
The file was modified src/Tools/jEdit/src/jedit_lib.scala
Changeset 73651:4fbbf421c376 by wenzelm:
tuned message;
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73650:9ce115baaa4f by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_spass.scala
The file was modified src/Pure/Admin/build_vampire.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73649:029de1598940 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_cygwin.scala
The file was modified src/Pure/Admin/build_fonts.scala
The file was modified src/Pure/General/date.scala

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy
Changeset 11773:c1ea0881dab4 by walter guttmann _walter.guttmann@canterbury.ac.nz_:
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