Summary
- tuned whitespace;
- clarified meta_digest;
- tuned;
- added isablle build option -f;
The file was modified | NEWS (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |