Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. patching the previous commit
  3. merged
  4. further Hensock tidy-up
  5. separate file for priority queue interface; extended Leftist_Heap.
  6. tuned GUI;
  7. tuned GUI;
  8. proper tooltip (amending fd8a65b026f1);
  9. updated to scala-2.12.3;
  10. auto update;
  11. updated to jdk-8u144;
  12. tuned GUI;
  13. more explicit failure;
  14. explicit indication of consolidated nodes;
  15. further tidying
Changeset 66423:df186e69b651 by paulson:
merged
Changeset 66422:2891f33ed4c8 by paulson _lp15@cam.ac.uk_:
patching the previous commit
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
Changeset 66421:7fa0b300fb0d by paulson:
merged
Changeset 66420:bc0dab0e7b40 by paulson _lp15@cam.ac.uk_:
further Hensock tidy-up
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
Changeset 66419:8194ed7cf2cb by nipkow:
separate file for priority queue interface; extended Leftist_Heap.
The file was addedsrc/HOL/Data_Structures/Priority_Queue.thy
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 66418:410b10ea405c by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66417:1f46b6693b56 by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66416:e20ce089a14d by wenzelm:
proper tooltip (amending fd8a65b026f1);
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66415:96ad7d5ff613 by wenzelm:
updated to scala-2.12.3;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/timing.ML (diff)
The file was modified src/Pure/PIDE/document_id.scala (diff)
Changeset 66414:a8939d090014 by wenzelm:
auto update;
The file was modified Admin/components/components.sha1 (diff)
Changeset 66413:98afae4308f5 by wenzelm:
updated to jdk-8u144;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66412:a8556be5be0b by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66411:72de7d59e2f7 by wenzelm:
more explicit failure;
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66410:72a7e29104f1 by wenzelm:
explicit indication of consolidated nodes;
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66409:f749d39c016b by paulson _lp15@cam.ac.uk_:
further tidying
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)