Summary
- more uniform ML file commands;
- tuned;
- tuned;
- tuned whitespace;
- tuned headers;
The file was added | src/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) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/ML/ml_name_space.ML (diff) |
The file was modified | src/Pure/ML/ml_pervasive_final.ML (diff) |
The file was modified | src/Pure/Pure.thy (diff) |
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) |