src/Pure/PIDE/resources.scala
2014-04-03 wenzelm 2014-04-03 more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 wenzelm 2014-04-03 tuned signature (see also 0850d43cb355);
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-03-29 wenzelm 2014-03-29 propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save); tuned signature;
2014-03-29 wenzelm 2014-03-29 tuned signature;
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;