Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned: less oo-non-sense;
  3. operations for graph display;
  4. tuned signature;
  5. dependencies of entries vs. sessions; json output like "isabelle afp_dependencies"; misc tuning;
  6. some administrative support for AFP;
  7. tuned;
  8. clarified signature: public access to ROOT file syntax;
Changeset 66825:9f6ec65f7a6e by wenzelm:
merged
Changeset 66824:49a3a0a6ffaf by wenzelm:
tuned: less oo-non-sense;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 66823:f529719cc47d by wenzelm:
operations for graph display;
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)
Changeset 66822:4642cf4a7ebb by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66821:c0e8c199cb2e by wenzelm:
dependencies of entries vs. sessions;<br>json output like &quot;isabelle afp_dependencies&quot;;<br>misc tuning;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 66820:fc516da7ee4f by wenzelm:
some administrative support for AFP;
The file was addedsrc/Pure/Admin/afp.scala
The file was modified src/Pure/build-jars (diff)
Changeset 66819:064c80e9d1cf by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 66818:5bc903a60932 by wenzelm:
clarified signature: public access to ROOT file syntax;
The file was modified src/Pure/Thy/sessions.scala (diff)