Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- follow Phabricator update 2020 Week 37;
- clarified defaults for nitpick;
- tuned nitpick message: more like quickcheck;
The file was modified | etc/options |
The file was modified | NEWS |
The file was modified | src/HOL/Tools/etc/options |
The file was modified | src/HOL/Tools/Nitpick/nitpick.ML |