Summary
- tagged 8 theories for the Analysis manual.
- merged
- more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;
- more portable tar_options;
- check (non-)executable files -- and eliminate them manually from the repository)
- eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; eliminated "isabelle news"; roper title in NEWS.html; more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC; misc tuning and clarification;
- tuned signature;
- tuned signature;
- updated PLATFORMS;
- uniform naming of strong congruence rules
- added lemma