| Fri, 31 Aug 2012 15:03:44 +0200 |
wenzelm |
clarified command status (again);
|
file |
diff |
annotate
|
| Fri, 31 Aug 2012 13:23:25 +0200 |
wenzelm |
further refinement of command status, to accomodate forked proofs;
|
file |
diff |
annotate
|
| Thu, 30 Aug 2012 15:26:37 +0200 |
wenzelm |
refined status of forked goals;
|
file |
diff |
annotate
|
| Mon, 20 Aug 2012 14:09:09 +0200 |
wenzelm |
added keyword kind "thy_load" (with optional list of file extensions);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2012 15:14:45 +0200 |
wenzelm |
apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.;
|
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 12:35:24 +0200 |
wenzelm |
tuned signature -- slightly more abstract text representation of prover process;
|
file |
diff |
annotate
|
| Wed, 18 Apr 2012 20:22:44 +0200 |
wenzelm |
more robust Sendback handling: JVM/jEdit paranoia for case matching, treat Pretty body not just XML.Text, replace proper_range only (without trailing whitespace);
|
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
|
| Fri, 06 Apr 2012 11:49:08 +0200 |
wenzelm |
discontinued Document.update_perspective side-entry (cf. 546adfa8a6fc) -- NB: re-assignment is always necessary due to non-monotonic cancel_execution;
|
file |
diff |
annotate
|
| Thu, 05 Apr 2012 14:14:51 +0200 |
wenzelm |
less aggressive discontinue_execution before document update, to avoid unstable execs that need to be re-assigned;
|
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
|
| Tue, 13 Mar 2012 21:17:37 +0100 |
wenzelm |
clarified command state -- markup within proper_range, excluding trailing whitespace;
|
file |
diff |
annotate
|
| Sun, 04 Mar 2012 18:15:45 +0100 |
wenzelm |
clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";
|
file |
diff |
annotate
|
| Sat, 03 Mar 2012 14:04:49 +0100 |
wenzelm |
retain original "uses" (again) -- still required for Thy_Load.use_file etc. in ML (notably for maintaining required/provided);
|
file |
diff |
annotate
|
| Thu, 01 Mar 2012 22:26:29 +0100 |
wenzelm |
Symbol.encode header edits;
|
file |
diff |
annotate
|
| Wed, 29 Feb 2012 23:09:06 +0100 |
wenzelm |
clarified module Thy_Load;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2012 20:05:14 +0100 |
wenzelm |
include warning messages in node status;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2012 19:09:03 +0100 |
wenzelm |
more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2012 15:30:54 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2012 14:34:42 +0100 |
wenzelm |
clarified partial restrict operation;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2012 23:11:28 +0100 |
wenzelm |
command status color via regular markup;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2012 14:15:37 +0100 |
wenzelm |
prefer raw_message for protocol implementation;
|
file |
diff |
annotate
|
| Thu, 01 Dec 2011 14:29:14 +0100 |
wenzelm |
clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
|
file |
diff |
annotate
| base
|