Summary
- merged
- tuned: less oo-non-sense;
- operations for graph display;
- tuned signature;
- dependencies of entries vs. sessions; json output like "isabelle afp_dependencies"; misc tuning;
- some administrative support for AFP;
- tuned;
- clarified signature: public access to ROOT file syntax;
The file was modified | src/Pure/Admin/afp.scala (diff) |
The file was modified | src/Pure/Admin/afp.scala (diff) |
The file was modified | src/Pure/General/graph_display.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Admin/afp.scala (diff) |
The file was added | src/Pure/Admin/afp.scala |
The file was modified | src/Pure/build-jars (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |