src/Tools/jEdit/src/jedit_resources.scala
Fri, 21 Apr 2017 14:09:03 +0200 wenzelm eliminated default_qualifier: just a constant;
Thu, 20 Apr 2017 15:00:32 +0200 wenzelm tuned signature;
Mon, 17 Apr 2017 21:48:53 +0200 wenzelm prefer formal name from session context, for proper qualified theory name;
Thu, 13 Apr 2017 12:19:28 +0200 wenzelm tuned signature (again);
Wed, 12 Apr 2017 22:47:21 +0200 wenzelm tuned;
Wed, 12 Apr 2017 22:32:55 +0200 wenzelm clarified loaded_theories: map to qualified theory name;
Wed, 12 Apr 2017 19:56:47 +0200 wenzelm more explicit jEdit file operations;
Mon, 10 Apr 2017 11:29:47 +0200 wenzelm clarified signature;
Sat, 08 Apr 2017 20:56:41 +0200 wenzelm more session_base information in ML;
Mon, 03 Apr 2017 17:00:36 +0200 wenzelm tuned signature;
Mon, 03 Apr 2017 16:36:45 +0200 wenzelm provide session qualifier via resources;
Wed, 15 Mar 2017 19:39:34 +0100 wenzelm unused;
Tue, 14 Mar 2017 21:26:25 +0100 wenzelm proper plugin access;
Mon, 09 Jan 2017 22:54:48 +0100 wenzelm update File_Model based on file-system events;
Mon, 09 Jan 2017 20:47:45 +0100 wenzelm clarified modules;
Mon, 09 Jan 2017 20:26:59 +0100 wenzelm tuned signature;
Sun, 08 Jan 2017 19:08:26 +0100 wenzelm added node_name(String): imitate jEdit buffer operations;
Sun, 08 Jan 2017 17:22:14 +0100 wenzelm refer to internal File_Model instead of external file;
Sun, 08 Jan 2017 17:10:42 +0100 wenzelm tuned;
Sun, 08 Jan 2017 16:47:53 +0100 wenzelm resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
Sun, 08 Jan 2017 14:46:04 +0100 wenzelm tuned;
Fri, 06 Jan 2017 13:27:18 +0100 wenzelm manage buffer models as explicit global state;
Thu, 05 Jan 2017 10:10:51 +0100 wenzelm tuned;
Tue, 19 Apr 2016 12:06:34 +0200 wenzelm more IDE support for Isabelle/Pure bootstrap;
Tue, 25 Aug 2015 13:46:24 +0200 wenzelm clarified undefined_blobs: already loaded theories are suppressed;
Thu, 20 Aug 2015 19:15:17 +0200 wenzelm tuned signature, according to ML version;
Wed, 12 Aug 2015 13:56:46 +0200 wenzelm more thorough reload;
Wed, 12 Aug 2015 13:53:51 +0200 wenzelm resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
Thu, 30 Jul 2015 14:02:19 +0200 wenzelm clarified management of (single) session;
Fri, 13 Mar 2015 21:35:48 +0100 wenzelm tuned signature;
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned;
Tue, 02 Dec 2014 16:10:11 +0100 wenzelm more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
Tue, 02 Dec 2014 14:16:56 +0100 wenzelm node-specific syntax, with base_syntax as default;
Sat, 02 Aug 2014 12:24:30 +0200 wenzelm always resolve symlinks for local files, e.g. relevant for ML_file to load proper source via editor instead of stored file via prover;
Wed, 23 Jul 2014 18:04:16 +0200 wenzelm another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
Fri, 02 May 2014 13:52:45 +0200 wenzelm more frugal access to theory text via Reader, reduced costs for I/O text decoding;
Wed, 30 Apr 2014 22:34:11 +0200 wenzelm some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
Wed, 23 Apr 2014 11:40:42 +0200 wenzelm avoid accidental use of scala.language.reflectiveCalls;
Wed, 09 Apr 2014 23:22:58 +0200 wenzelm improved support for external URLs, based on standard Java network operations;
Tue, 08 Apr 2014 09:48:38 +0200 wenzelm ignore deps_changed (again) -- avoid proactive load attempts of unfinished header specification while the user is typing;
Mon, 07 Apr 2014 21:23:02 +0200 wenzelm tuned signature -- prefer static type Document.Node.Name;
Sat, 29 Mar 2014 10:49:32 +0100 wenzelm propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
less more (0) tip