Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

support for incremental update according to session graph structure;

Changeset 66449:1be102db1598 by wenzelm: 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)