| Tue, 09 Jul 2013 18:11:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 09 Jul 2013 17:58:38 +0200 |
wenzelm |
more formal type assign_update: avoid duplicate results and redundant update of global State.execs;
|
file |
diff |
annotate
|
| Tue, 09 Jul 2013 13:24:17 +0200 |
wenzelm |
tuned signature -- NB: Command.read is actually part of Command.eval;
|
file |
diff |
annotate
|
| Tue, 09 Jul 2013 13:17:22 +0200 |
wenzelm |
tuned protocol terminology;
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 16:01:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 15:38:03 +0200 |
wenzelm |
explicit module Document_ID as source of globally unique identifiers across ML/Scala;
|
file |
diff |
annotate
|
| Thu, 04 Jul 2013 23:51:47 +0200 |
wenzelm |
separate exec_id assignment for Command.print states, without affecting result of eval;
|
file |
diff |
annotate
|
| Wed, 03 Jul 2013 15:19:36 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2013 16:10:46 +0100 |
wenzelm |
structural equality for Command.Results;
|
file |
diff |
annotate
|
| Wed, 27 Feb 2013 16:27:44 +0100 |
wenzelm |
discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
|
file |
diff |
annotate
|
| Wed, 27 Feb 2013 12:45:19 +0100 |
wenzelm |
discontinued obsolete 'uses' within theory header;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 13:52:18 +0100 |
wenzelm |
identify dialogs via official serial and maintain as result message;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:31:49 +0100 |
wenzelm |
tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2012 20:35:09 +0200 |
wenzelm |
removed unused module Blob;
|
file |
diff |
annotate
|
| Fri, 28 Sep 2012 15:25:49 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2012 19:23:04 +0200 |
wenzelm |
accumulate under exec_id as well;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2012 13:18:45 +0200 |
wenzelm |
some support for inital command markup;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 16:01:42 +0200 |
wenzelm |
more efficient painting based on cached result;
|
file |
diff |
annotate
|
| Fri, 24 Aug 2012 20:41:47 +0200 |
wenzelm |
prefer jEdit file name representation (potentially via VFS);
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 12:21:32 +0200 |
wenzelm |
even more defensive path expansion (see also 8d381fdef898);
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 15:01:48 +0200 |
wenzelm |
simplified Document.Node.Header -- internalized errors;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 13:21:29 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Apr 2012 19:28:44 +0200 |
wenzelm |
added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
|
file |
diff |
annotate
|
| Fri, 06 Apr 2012 23:34:38 +0200 |
wenzelm |
discontinued obsolete last_execs (cf. cd3ab7625519);
|
file |
diff |
annotate
|
| Sat, 17 Mar 2012 17:44:29 +0100 |
wenzelm |
misc tuning to accomodate scala-2.10.0-M2;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 14:39:42 +0100 |
wenzelm |
more recent recent_syntax, e.g. relevant for document rendering during startup;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 14:13:49 +0100 |
wenzelm |
basic support for outer syntax keywords in theory header;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 11:37:56 +0100 |
wenzelm |
maintain Version.syntax within document state;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 10:16:21 +0100 |
wenzelm |
explicit Outer_Syntax.Decl;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 00:10:45 +0100 |
wenzelm |
some support for outer syntax keyword declarations within theory header;
|
file |
diff |
annotate
|
| Sun, 04 Mar 2012 19:16:09 +0100 |
wenzelm |
removed obsolete proper_command_at (cf. 03a2dc9e0624);
|
file |
diff |
annotate
|
| Thu, 01 Mar 2012 11:28:33 +0100 |
wenzelm |
clarified document nodes (full import graph) vs. node_status (non-preloaded theories);
|
file |
diff |
annotate
|
| Wed, 29 Feb 2012 23:09:06 +0100 |
wenzelm |
clarified module Thy_Load;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 23:35:11 +0100 |
wenzelm |
more explicit development graph;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 17:13:25 +0100 |
wenzelm |
prefer final ADTs -- prevent ooddities;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 18:25:28 +0100 |
wenzelm |
more abstract class Document.State;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 18:19:44 +0100 |
wenzelm |
more abstract class Document.State.Assignment;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 17:54:35 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 17:44:09 +0100 |
wenzelm |
more abstract class Document.Version;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 17:15:33 +0100 |
wenzelm |
more abstract class Document.Node;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 16:58:28 +0100 |
wenzelm |
more abstract class Document.History;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 16:17:57 +0100 |
wenzelm |
more abstract class Document.Change;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 16:02:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2012 15:20:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2012 21:50:00 +0100 |
wenzelm |
improved select_markup: include filtering of defined results;
|
file |
diff |
annotate
|
| Tue, 10 Jan 2012 23:26:27 +0100 |
wenzelm |
clarified Isabelle_Rendering vs. physical painting;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2012 12:39:46 +0100 |
wenzelm |
accumulate status as regular markup for command range;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
| Sat, 12 Nov 2011 19:44:56 +0100 |
wenzelm |
index markup elements for more efficient cumulate/select operations;
|
file |
diff |
annotate
|
| Sat, 12 Nov 2011 12:21:42 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 12 Nov 2011 11:45:49 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 11 Nov 2011 21:45:52 +0100 |
wenzelm |
added markup_cumulate operator;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 19:00:03 +0200 |
wenzelm |
class Counter as abstract datatype;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 00:05:22 +0200 |
wenzelm |
graph traversal in topological order;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 23:04:03 +0200 |
wenzelm |
Document.Node.Name convenience;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2011 21:28:52 +0200 |
wenzelm |
more elaborate Node_Renderer, which paints node_name.theory only;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2011 21:15:35 +0200 |
wenzelm |
Document.removed_versions on Scala side;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2011 12:31:27 +0200 |
wenzelm |
some support to prune_history;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 22:29:57 +0200 |
wenzelm |
more redable Document.Node.toString;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 13:39:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|