Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more links;
  3. clarified priority: zero can mean unknown/long or irrelevant/short time;
  4. absent timing information means zero, according to 0070053570c4, f235646b1b73;
  5. Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
Changeset 65061:1803a9787eca by wenzelm:
merged
Changeset 65060:98931050065f by wenzelm:
more links;
The file was modified src/Tools/VSCode/README.md (diff)
Changeset 65059:05f1b5342298 by wenzelm:
clarified priority: zero can mean unknown/long or irrelevant/short time;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 65058:3e9f382fb67e by wenzelm:
absent timing information means zero, according to 0070053570c4, f235646b1b73;
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 65057:799bbbb3a395 by paulson _lp15@cam.ac.uk_:
Some new lemmas thanks to Lukas Bulwahn. Also, NEWS.
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Fields.thy (diff)
The file was modified src/HOL/Power.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)