Summary
- no heap sharing for empty session (e.g. HOL-ODE);
- tuned diagram;
- clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Doc/ROOT (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |