Mon, 03 Mar 2014 10:41:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 01 Mar 2014 15:58:47 +0100 |
wenzelm |
incorporate chunk range that is 1 off end-of-input, for improved error positions (NB: command spans are tight, without trailing whitespace);
|
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
|
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
|
Mon, 09 Dec 2013 21:32:45 +0100 |
wenzelm |
browse directory hyperlink as well;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 12:16:52 +0100 |
wenzelm |
added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
|
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 12:24:54 +0100 |
wenzelm |
refer to thy_load command of auxiliary file;
|
file |
diff |
annotate
|
Tue, 19 Nov 2013 20:59:05 +0100 |
wenzelm |
tuned signature;
|
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
|
Sun, 17 Nov 2013 16:02:06 +0100 |
wenzelm |
centralized management of pending buffer edits;
|
file |
diff |
annotate
|
Fri, 11 Oct 2013 20:45:21 +0200 |
wenzelm |
clarified Editor.current_command: allow outdated snapshot;
|
file |
diff |
annotate
|
Tue, 24 Sep 2013 17:13:12 +0200 |
wenzelm |
more tolerant treatment of end-of-buffer -- avoid debatable situations of jEdit buffer boundaries;
|
file |
diff |
annotate
|
Tue, 24 Sep 2013 16:35:01 +0200 |
wenzelm |
skip ignored commands, similar to former proper_command_at (see d68ea01d5084) -- relevant to Output, Query_Operation etc.;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 17:11:27 +0200 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 14:53:16 +0200 |
wenzelm |
prefer PIDE editor operations;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 14:27:58 +0200 |
wenzelm |
central management of Document.Overlays, independent of Document_Model;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 12:06:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|