Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. completion supports theory header imports; tuned;
  3. clarified modules;
  4. tuned signature;
  5. new theorem at_within_cbox_finite
Changeset 66769:97f16ada519c by wenzelm:
merged
Changeset 66768:f27488f47a47 by wenzelm:
completion supports theory header imports;<br>tuned;
The file was modified NEWS (diff)
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
Changeset 66767:294c2e9a689e by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66766:19f8385ddfd3 by wenzelm:
tuned signature;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 66765:c1dfa973b269 by paulson _lp15@cam.ac.uk_:
new theorem at_within_cbox_finite
The file was modified src/HOL/Analysis/Starlike.thy (diff)