Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Corrected type calculation.
  2. some hints on managed installations
  3. prefer cartouches over quotes for clarity of resulting document
Changeset 78666:2ca78c955c97 by haftmann:
Corrected type calculation.
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 78665:b0ddfa5b9ddc by haftmann:
some hints on managed installations
The file was modified src/Doc/Codegen/Further.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 78664:d052d61da398 by haftmann:
prefer cartouches over quotes for clarity of resulting document
The file was modified src/Doc/Classes/Classes.thy (diff)