Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. basic setup of Isabelle setup tool --- pure Java, no dependencies;
  2. merged
  3. guess package more directly;
  4. merged
  5. Just one lemma
  6. proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
  7. clarified platforms;
  8. merged
  9. proper jEdit.props (amending ff716ecb0805);
  10. update to gmp-6.2.1, with support for arm64-darwin;
  11. clarified platforms;
  12. clarified options: implicitly support both x86_64 and arm64;
  13. tuned whitespace;
  14. centralized more lemmas
  15. avoid Fun.swap
  16. guide is out of focus
Changeset 73677:73c50ce808ed by wenzelm:
basic setup of Isabelle setup tool --- pure Java, no dependencies;
The file was addedsrc/Tools/Setup/.idea/.name
The file was addedsrc/Tools/Setup/.idea/artifacts/Setup_jar.xml
The file was addedsrc/Tools/Setup/.idea/codeStyles/Project.xml
The file was addedsrc/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml
The file was addedsrc/Tools/Setup/.idea/misc.xml
The file was addedsrc/Tools/Setup/.idea/modules.xml
The file was addedsrc/Tools/Setup/.idea/sbt.xml
The file was addedsrc/Tools/Setup/.idea/vcs.xml
The file was addedsrc/Tools/Setup/.idea/workspace.xml
The file was addedsrc/Tools/Setup/Setup.iml
The file was addedsrc/Tools/Setup/src/META-INF/MANIFEST.MF
The file was addedsrc/Tools/Setup/src/isabelle/setup/Setup.java
Changeset 73676:51429b78aadf by wenzelm:
merged
Changeset 73675:6c56f2ebe157 by wenzelm:
guess package more directly;
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 73674:0d79ac2eb106 by paulson:
merged
Changeset 73673:edb01b64dc16 by paulson _lp15@cam.ac.uk_:
Just one lemma
The file was modified src/HOL/Set.thy (diff)
Changeset 73672:70d3c7009a65 by wenzelm:
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 73671:7404f2e1d092 by wenzelm:
clarified platforms;
The file was modified NEWS (diff)
The file was modified lib/scripts/isabelle-platform (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/System/isabelle_platform.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 73670:4121fc47432b by wenzelm:
merged
Changeset 73669:02351b514b34 by wenzelm:
proper jEdit.props (amending ff716ecb0805);
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 73668:5e12dad8d09b by wenzelm:
update to gmp-6.2.1, with support for arm64-darwin;
The file was modified Admin/polyml/README (diff)
Changeset 73667:442460fba2a4 by wenzelm:
clarified platforms;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/isabelle_platform.scala (diff)
Changeset 73666:4d0df84a5b88 by wenzelm:
clarified options: implicitly support both x86_64 and arm64;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 73665:9ab1d5fa84d0 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/build_jedit.scala (diff)
Changeset 73664:6e26d06b24b1 by haftmann:
centralized more lemmas
The file was modified src/HOL/Combinatorics/Transposition.thy (diff)
Changeset 73663:7734c442802f by haftmann:
avoid Fun.swap
The file was modified src/HOL/Combinatorics/Cycles.thy (diff)
The file was modified src/HOL/Combinatorics/Permutations.thy (diff)
Changeset 73662:fecfb96474ca by haftmann:
guide is out of focus
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Combinatorics/Guide.thy