Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. tuned signature;
  3. proper list_url, suitable for composition;
  4. tuned
  5. merged
  6. another big cleanup
Changeset 72565:ed5b907bbf50 by wenzelm:
tuned;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72564:6d54efe5b6ee by wenzelm:
tuned signature;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 72563:feb80142e572 by wenzelm:
proper list_url, suitable for composition;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 72562:49057e93f567 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 72561:e1d04777d8b6 by paulson:
merged
Changeset 72560:cd93b8c96710 by paulson _lp15@cam.ac.uk_:
another big cleanup
The file was modified src/HOL/Complex_Analysis/Great_Picard.thy (diff)