Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more uniform ML file commands;
  2. tuned;
  3. tuned;
  4. tuned whitespace;
  5. tuned headers;
Changeset 62862:007c454d0d0f by wenzelm:
more uniform ML file commands;
The file was addedsrc/Pure/ML/ml_file.ML
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 62861:cfd2749e1352 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 62860:045dc4ad6d98 by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_name_space.ML (diff)
The file was modified src/Pure/ML/ml_pervasive_final.ML (diff)
Changeset 62859:b2f951051472 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Pure.thy (diff)
Changeset 62858:d72a6f9ee690 by wenzelm:
tuned headers;
The file was modified src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thy (diff)
The file was modified src/HOL/Corec_Examples/Tests/Merge_B.thy (diff)
The file was modified src/HOL/Corec_Examples/Tests/Merge_C.thy (diff)
The file was modified src/HOL/Corec_Examples/Tests/Merge_D.thy (diff)
The file was modified src/HOL/Library/Complete_Partial_Order2.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar_tactics.ML (diff)