src/Pure/PIDE/resources.scala
2014-03-29 wenzelm 2014-03-29 tuned signature;
2014-03-18 wenzelm 2014-03-18 simplified (despite 70898d016538);
2014-03-18 wenzelm 2014-03-18 clarifed module name;