Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support dynamic commit of consilidated nodes; tuned signature;
  2. tuned signature;
  3. clarified Use_Theories_State;
  4. tuned
  5. merged
  6. tuned doc
Changeset 68916:2a1583baaaa0 by wenzelm:
support dynamic commit of consilidated nodes;<br>tuned signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68915:634768c0bd22 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68914:51bd9e9501fb by wenzelm:
clarified Use_Theories_State;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68913:55b12fde48d0 by nipkow:
tuned
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 68912:ecc76fa24a32 by nipkow:
merged
Changeset 68911:7f2ebaa4c71f by nipkow:
tuned doc
The file was modified src/HOL/ROOT (diff)