Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified derived bindings (for PIDE reports);
  3. clarified rendering (amending ae9330fdbc16);
  4. tuned whitespace;
Changeset 63342:49fa6aaa4529 by wenzelm:
tuned;
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec.ML (diff)
The file was modified src/HOL/Tools/Lifting/lifting_def_code_dt.ML (diff)
The file was modified src/HOL/Tools/record.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 63341:40f58bb9c846 by wenzelm:
clarified derived bindings (for PIDE reports);
The file was modified src/HOL/Tools/Lifting/lifting_def.ML (diff)
Changeset 63340:29d7ac9bdcb1 by wenzelm:
clarified rendering (amending ae9330fdbc16);
The file was modified src/Tools/jEdit/src/rendering.scala (diff)
Changeset 63339:fd9bd5024751 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Isar/generic_target.ML (diff)