Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit;
  3. moved segment lemmas where they belong
  4. merged
  5. moved lemmas
  6. merged
  7. two new theorems
  8. moved lemma
  9. made internal name generation in case expressions more robust
Changeset 71232:7b9ff966974f by wenzelm:
merged
Changeset 71231:dafa5fce70f1 by wenzelm:
clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
Changeset 71230:095cf95d7725 by nipkow:
moved segment lemmas where they belong
The file was modified src/HOL/Analysis/Line_Segment.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
Changeset 71229:be2c2bfa54a0 by nipkow:
merged
Changeset 71228:dc767054de47 by nipkow:
moved lemmas
The file was modified src/HOL/Analysis/Elementary_Topology.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
Changeset 71227:e9a4bd0a836e by paulson:
merged
Changeset 71226:9adb1e16b2a6 by paulson _lp15@cam.ac.uk_:
two new theorems
The file was modified src/HOL/Library/Equipollence.thy (diff)
Changeset 71225:1249859d23dd by nipkow:
moved lemma
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
Changeset 71224:54a7ad860a76 by traytel:
made internal name generation in case expressions more robust
The file was modified src/HOL/Tools/Ctr_Sugar/case_translation.ML (diff)