src/Tools/jEdit/src/jedit_resources.scala
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-08 wenzelm 2017-01-08 added node_name(String): imitate jEdit buffer operations; more uniform get_file_content for external source file references;
2017-01-08 wenzelm 2017-01-08 refer to internal File_Model instead of external file;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2017-01-05 wenzelm 2017-01-05 tuned;
2016-04-19 wenzelm 2016-04-19 more IDE support for Isabelle/Pure bootstrap;
2015-08-25 wenzelm 2015-08-25 clarified undefined_blobs: already loaded theories are suppressed; enabled jedit_auto_resolve (again): e.g. relevant for debugging when following links through source files;
2015-08-20 wenzelm 2015-08-20 tuned signature, according to ML version;
2015-08-12 wenzelm 2015-08-12 more thorough reload;
2015-08-12 wenzelm 2015-08-12 resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
2015-07-30 wenzelm 2015-07-30 clarified management of (single) session; proper Debugger.Update events;
2015-03-13 wenzelm 2015-03-13 tuned signature; minimal I/O on GUI thread should be OK;
2015-01-08 wenzelm 2015-01-08 tuned;
2014-12-02 wenzelm 2014-12-02 more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-08-02 wenzelm 2014-08-02 always resolve symlinks for local files, e.g. relevant for ML_file to load proper source via editor instead of stored file via prover;
2014-07-23 wenzelm 2014-07-23 another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed;
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;