Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support configuration options "show_results";
  2. consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
Changeset 74156:ecf80e37ed1a by wenzelm:
support configuration options "show_results";
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/proof_display.ML (diff)
Changeset 74155:0faa68dedce5 by wenzelm:
consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
The file was modified src/Pure/proofterm.ML (diff)