Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Fall back to reading rewrite morphism first if activation fails without it.
  2. Proper rewrite morphisms in locale instances.
Changeset 67741:d5a7f2c54655 by ballarin:
Fall back to reading rewrite morphism first if activation fails without it.
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/expression.ML (diff)
Changeset 67740:b6ce18784872 by ballarin:
Proper rewrite morphisms in locale instances.
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/FOL/ex/Locale_Test/Locale_Test1.thy (diff)
The file was modified src/Pure/Isar/element.ML (diff)
The file was modified src/Pure/Isar/expression.ML (diff)
The file was modified src/Pure/Isar/interpretation.ML (diff)
The file was modified src/Pure/Isar/parse_spec.ML (diff)
The file was modified src/Pure/Pure.thy (diff)