Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: full dependency graph;
Changeset 70636:a56eab490f4e by wenzelm:
clarified signature: full dependency graph;
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)