Summary
- support for incremental update according to session graph structure;
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Pure/Tools/imports.scala (diff) |