| 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
|