Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
  3. uniform import_name, with treatment of global and qualified theories;
  4. tuned signature;
Changeset 65394:faeccede9534 by wenzelm:
merged
Changeset 65393:079a6f850c02 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Number_Theory/Fib.thy (diff)
Changeset 65392:f365f61f2081 by wenzelm:
uniform import_name, with treatment of global and qualified 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/Thy/thy_header.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65391:b5740579cad6 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)