Summary
- proper ceil operation;
- tuned;
- isabelle components_checksum -u;
- more documentation;
- updated to jdk-8u92;
The file was modified | src/Pure/General/rat.ML (diff) |
The file was modified | src/Pure/General/rat.ML (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Implementation/ML.thy (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | Admin/java/build (diff) |