Summary
- less ambitious test;
- proper type for Poly/ML development version;
- more operations;
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/ML_Bootstrap.thy (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |