src/Pure/PIDE/resources.scala
2014-03-29 ago propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);
2014-03-29 ago tuned signature;
2014-03-29 ago tuned signature;
2014-03-18 ago simplified (despite 70898d016538);
2014-03-18 ago clarifed module name;