Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proofs;
  2. NEWS;
  3. proper function invocation with all arguments;
  4. fork parallel prints early in execution: avoid degradation of priority due to main eval task;
  5. clarified signature: prefer Document.Snapshot;
  6. list syntax details
  7. merged
  8. allow tuple patterns in list comprehensions
  9. infinite product material
  10. merged
  11. tidied more Cauchy proofs
Changeset 68369:6989752bba4b by wenzelm:
tuned proofs;
The file was modified src/HOL/HOLCF/Bifinite.thy (diff)
The file was modified src/HOL/HOLCF/Pcpo.thy (diff)
Changeset 68368:b00b40dc41af by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 68367:2549d7d4718a by wenzelm:
proper function invocation with all arguments;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 68366:cd387c55e085 by wenzelm:
fork parallel prints early in execution: avoid degradation of priority due to main eval task;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 68365:f9379279f98c by wenzelm:
clarified signature: prefer Document.Snapshot;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 68364:5c579bb9adb1 by nipkow:
list syntax details
The file was modified NEWS (diff)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
The file was modified src/Doc/Main/document/root.tex (diff)
Changeset 68363:23b2fad1729a by nipkow:
merged
Changeset 68362:27237ee2e889 by nipkow:
allow tuple patterns in list comprehensions
The file was modified src/HOL/List.thy (diff)
Changeset 68361:20375f232f3b by paulson _lp15@cam.ac.uk_:
infinite product material
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 68360:0f19c98fa7be by paulson:
merged
Changeset 68359:8cd3d0305269 by paulson _lp15@cam.ac.uk_:
tidied more Cauchy proofs
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)