Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. some export of foundational theory content;
  2. support for general theory presentation;
Changeset 68154:42d63ea39161 by wenzelm:
some export of foundational theory content;
The file was addedsrc/Pure/Thy/export_theory.ML
The file was modified etc/options (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 68153:e469d529e6da by wenzelm:
support for general theory presentation;
The file was modified src/Pure/Thy/thy_info.ML (diff)