Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche;
  2. more exports, notably for Isabelle/Naproche;
Changeset 74462:b3d6bb2ebf77 by wenzelm:
maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 74461:8e9f38240c05 by wenzelm:
more exports, notably for Isabelle/Naproche;
The file was modified src/Pure/context.ML (diff)