Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- prefer antiquotations;
- clarified modules;
- more documentation;
- merged
- tuned whitespace;
- clarified signature: File.read_lines is based on scalable Bytes.T; discontinued somewhat pointless File.fold_lines;
- clarified modules;
- prefer scalable Bytes.T;
- unused;
- prefer scalable Bytes.T;
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- merged
- avoid hardwired pdf;
- adapted to Isabelle/986506233812;
The file was modified | thys/Rewrite_Properties_Reduction/ROOT |
The file was modified | thys/Affine_Arithmetic/Print.thy |
The file was modified | thys/Safe_Distance/Evaluation.thy |