Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. more robust;
  4. proper build_progress for local messages;
  5. proper SQL query;
  6. Another tranche of HOL Light material on metric and topological spaces
Changeset 78255:3e11f510b3f6 by wenzelm:
merged
Changeset 78254:50a949d316d3 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78253:12d54a78bc0e by wenzelm:
more robust;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 78252:4dca4ba6f01b by wenzelm:
proper build_progress for local messages;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78251:f0762eb07583 by wenzelm:
proper SQL query;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78250:400aecdfd71f by paulson _lp15@cam.ac.uk_:
Another tranche of HOL Light material on metric and topological spaces
The file was modified src/HOL/Analysis/Abstract_Topological_Spaces.thy (diff)
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
The file was modified src/HOL/Analysis/Abstract_Topology_2.thy (diff)
The file was modified src/HOL/Analysis/FSigma.thy (diff)
The file was modified src/HOL/Analysis/Locally.thy (diff)
The file was modified src/HOL/Analysis/Urysohn.thy (diff)
The file was modified src/HOL/Library/Equipollence.thy (diff)
The file was modified src/HOL/Library/Set_Idioms.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)