| Thu, 05 Jan 2017 12:23:25 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 16:50:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2016 15:31:13 +0100 |
wenzelm |
more uniform treatment of file name vs. theory name and special header;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2016 18:18:24 +0200 |
wenzelm |
tunes signature;
|
file |
diff |
annotate
|
| Tue, 19 Apr 2016 12:06:34 +0200 |
wenzelm |
more IDE support for Isabelle/Pure bootstrap;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 19:30:15 +0200 |
wenzelm |
support ROOT0.ML as well -- independently of ROOT.ML;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 23:45:19 +0200 |
wenzelm |
treat ROOT.ML as theory with header "theory ML_Root imports ML_Bootstrap begin";
|
file |
diff |
annotate
|
| Mon, 25 Jan 2016 14:51:04 +0100 |
wenzelm |
more thorough syntax_changed: new commands need require new folds;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 20:13:52 +0100 |
wenzelm |
double flush to ensure persistent "state" output is reset;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2015 10:38:42 +0100 |
wenzelm |
avoid highlighted area getting "stuck" after edit;
|
file |
diff |
annotate
|
| Sat, 19 Sep 2015 19:34:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 15 Aug 2015 18:59:31 +0200 |
wenzelm |
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
|
file |
diff |
annotate
|
| Fri, 08 May 2015 10:19:44 +0200 |
wenzelm |
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties);
|
file |
diff |
annotate
|
| Thu, 07 May 2015 21:30:52 +0200 |
wenzelm |
no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
|
file |
diff |
annotate
|
| Tue, 17 Mar 2015 16:38:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 17 Mar 2015 16:17:49 +0100 |
wenzelm |
tight span for theory header, which is relevant for error positions (including semantic completion);
|
file |
diff |
annotate
|
| Mon, 16 Mar 2015 13:32:31 +0100 |
wenzelm |
avoid duplicate header errors, more precise positions;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 20:35:47 +0100 |
wenzelm |
clarified span position;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 16:40:11 +0100 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 16:10:11 +0100 |
wenzelm |
more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 19:25:20 +0100 |
wenzelm |
clarified token marker / syntax for mode vs. buffer;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 18:21:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 18:14:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 15:05:26 +0200 |
wenzelm |
maintain Document_Model.bibtex_entries;
|
file |
diff |
annotate
|
| Sun, 10 Aug 2014 15:16:01 +0200 |
wenzelm |
tuned -- eliminated redundant check (see 1f77110c94ef);
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 16:56:03 +0200 |
wenzelm |
more frugal edits;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 13:01:30 +0200 |
wenzelm |
more explicit discrimination of empty nodes -- suppress from Theories panel;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 10:02:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 13:52:45 +0200 |
wenzelm |
more frugal access to theory text via Reader, reduced costs for I/O text decoding;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 13:34:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 20:03:00 +0200 |
wenzelm |
simplified Text.Chunk -- eliminated ooddities;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 16:07:02 +0200 |
wenzelm |
avoid data redundancy;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 15:12:54 +0200 |
wenzelm |
tuned signature -- moved Command.Chunk to Text.Chunk;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 12:19:33 +0200 |
wenzelm |
more explicit Command.Chunk types, less ooddities;
|
file |
diff |
annotate
|
| Mon, 07 Apr 2014 21:23:02 +0200 |
wenzelm |
tuned signature -- prefer static type Document.Node.Name;
|
file |
diff |
annotate
|
| Mon, 31 Mar 2014 15:05:24 +0200 |
wenzelm |
store blob content within document node: aux. files that were once open are made persistent;
|
file |
diff |
annotate
|
| Sat, 29 Mar 2014 09:34:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 21:02:09 +0100 |
wenzelm |
clarified init_models: simultaneous initialization of all document models, before flushing edits by regular means (via PIDE.editor.invoke) -- important for consolidated doc_blobs when determining initial edits;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 14:51:14 +0100 |
wenzelm |
reparse only for actually changed blobs;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 14:15:23 +0100 |
wenzelm |
proper document blobs for initial edit, which is relevant for loading auxiliary file buffers;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 14:07:04 +0100 |
wenzelm |
more formal Document.Blobs;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 12:37:43 +0100 |
wenzelm |
proper update of text perspective for nodes with changed blobs, which is important to refresh the corresponding command perspective (otherwise it might refer to invalid thy_load commands and cause full execution of the node by the prover);
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 10:38:47 +0100 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 11:28:17 +0100 |
wenzelm |
maintain blob edits within history, which is important for Snapshot.convert/revert;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2014 21:58:31 +0100 |
wenzelm |
maintain multiple command chunks and markup trees: for main chunk and loaded files;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2014 17:44:29 +0100 |
wenzelm |
common Command.Chunk for command source and auxiliary files (static Symbol.Index without actual String content);
|
file |
diff |
annotate
|
| Wed, 20 Nov 2013 16:15:54 +0100 |
wenzelm |
restrict node_required status and Theories panel to actual theories;
|
file |
diff |
annotate
|
| Wed, 20 Nov 2013 15:53:59 +0100 |
wenzelm |
ranges of thy_load commands count as visible within perspective;
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 20:53:43 +0100 |
wenzelm |
clarified Document.Blobs environment vs. actual edits of auxiliary files;
|
file |
diff |
annotate
|
| Mon, 18 Nov 2013 23:26:15 +0100 |
wenzelm |
inline blobs into command, via SHA1 digest;
|
file |
diff |
annotate
|
| Mon, 18 Nov 2013 19:56:34 +0100 |
wenzelm |
caching of blob;
|
file |
diff |
annotate
|
| Mon, 18 Nov 2013 17:16:56 +0100 |
wenzelm |
maintain document model for all files, with document view for theory only, and special blob for non-theory files;
|
file |
diff |
annotate
|
| Sun, 17 Nov 2013 20:24:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|