Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. obsolete -- updated in Poly/ML;
  2. updated to polyml-test-a444f281ccec;
  3. prefer x86_64_32 over x86;
  4. clarified signature;
  5. updated x86_64-linux base line;
  6. fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams)
  7. tagged 2 theories ie Cartesian_Euclidean_Space Cartesian_Space
  8. minor tagging updates in 13 theories
Changeset 69729:4591221824f6 by wenzelm:
obsolete -- updated in Poly/ML;
The file was modified src/Pure/General/integer.ML (diff)
Changeset 69728:20bc1d26c932 by wenzelm:
updated to polyml-test-a444f281ccec;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 69727:55dc07077c6b by wenzelm:
prefer x86_64_32 over x86;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 69726:461f0615faa3 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 69725:88b8bc6a6e5f by wenzelm:
updated x86_64-linux base line;
The file was modified Admin/PLATFORMS (diff)
Changeset 69724:2444c8b85aac by blanchet:
fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams)
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 69723:9b9f203e0ba3 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
tagged 2 theories  ie Cartesian_Euclidean_Space Cartesian_Space
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Cartesian_Space.thy (diff)
Changeset 69722:b5163b2132c5 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
minor tagging updates in 13 theories
The file was modified src/HOL/Analysis/Binary_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Caratheodory.thy (diff)
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
The file was modified src/HOL/Analysis/Fashoda_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Finite_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Great_Picard.thy (diff)
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
The file was modified src/HOL/Analysis/Improper_Integral.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)