src/Tools/jEdit/src/jedit_resources.scala
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-02 wenzelm 2014-05-02 more frugal access to theory text via Reader, reduced costs for I/O text decoding; prefer non-strict Symbol.decode, since Reader[Char] may present symbols in either way;
2014-04-30 wenzelm 2014-04-30 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-23 wenzelm 2014-04-23 avoid accidental use of scala.language.reflectiveCalls;
2014-04-09 wenzelm 2014-04-09 improved support for external URLs, based on standard Java network operations;
2014-04-08 wenzelm 2014-04-08 ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing;
2014-04-07 wenzelm 2014-04-07 tuned signature -- prefer static type Document.Node.Name;
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-18 wenzelm 2014-03-18 clarifed module name;