Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. more thorough checks for theory name consistency (for extend, not just merge);
  4. more uniform output (cf. 450cefec7c11);
Changeset 68195:607957640057 by wenzelm:
merged
Changeset 68194:796f2585c7ee by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68193:14dd78f036ba by wenzelm:
more thorough checks for theory name consistency (for extend, not just merge);
The file was modified src/Pure/context.ML (diff)
Changeset 68192:73a1b393d6f9 by wenzelm:
more uniform output (cf. 450cefec7c11);
The file was modified src/Pure/context.ML (diff)