Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned message;
  3. tuned message;
  4. more detailed session dependencies, with conditions for theories;
  5. clarified signature;
  6. merged
  7. added insertion sort with keys
  8. Set idioms theory "finite intersection_of open", etc.
Changeset 69011:8745ca1e7e93 by wenzelm:
merged
Changeset 69010:b6aad6338488 by wenzelm:
tuned message;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 69009:4861973145e8 by wenzelm:
tuned message;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 69008:d55783ea6cf6 by wenzelm:
more detailed session dependencies, with conditions for theories;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 69007:2ac19d346b83 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 69006:e2d573447efd by nipkow:
merged
Changeset 69005:778434adc352 by nipkow:
added insertion sort with keys
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 69004:f6a0c8115e9c by paulson _lp15@cam.ac.uk_:
Set idioms theory "finite intersection_of open", etc.
The file was addedsrc/HOL/Library/Set_Idioms.thy
The file was modified src/HOL/Library/Library.thy (diff)