Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS: Announcing the metric space material
  2. merged
  3. Hiding the constructor names, particularly to avoid conflicts involving "ext"
  4. New HOL Light material on metric spaces and topological spaces
  5. enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
  6. provide scala-3.3.0;
  7. more NEWS;
  8. tuned NEWS;
Changeset 78130:8234c42d20e6 by paulson _lp15@cam.ac.uk_:
NEWS: Announcing the metric space material
The file was modified NEWS (diff)
Changeset 78129:acf27e8352d2 by paulson:
merged
Changeset 78128:3d2db8057b9f by paulson _lp15@cam.ac.uk_:
Hiding the constructor names, particularly to avoid conflicts involving "ext"
The file was modified src/HOL/Analysis/Urysohn.thy (diff)
Changeset 78127:24b70433c2e8 by paulson _lp15@cam.ac.uk_:
New HOL Light material on metric spaces and topological spaces
The file was addedsrc/HOL/Analysis/Urysohn.thy
The file was modified src/HOL/Analysis/Abstract_Metric_Spaces.thy (diff)
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Homotopy.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/NthRoot.thy (diff)
Changeset 78126:163e4835a8db by wenzelm:
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 78125:96e2c2bbacbd by wenzelm:
provide scala-3.3.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/component_scala.scala (diff)
Changeset 78124:9609085da969 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 78123:26b31f402948 by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)