Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. index for https://isabelle.in.tum.de/components (or clones);
  2. enforce strict nesting of local theories
Changeset 72503:05d0977ec706 by wenzelm:
index for https://isabelle.in.tum.de/components (or clones);
The file was addedAdmin/components/index.php
Changeset 72502:ff181cd78bb7 by haftmann:
enforce strict nesting of local theories
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/target_context.ML (diff)