src/Pure/PIDE/protocol.scala
Thu, 15 Mar 2012 00:10:45 +0100 wenzelm some support for outer syntax keyword declarations within theory header;
Tue, 13 Mar 2012 21:17:37 +0100 wenzelm clarified command state -- markup within proper_range, excluding trailing whitespace;
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";
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);
Thu, 01 Mar 2012 22:26:29 +0100 wenzelm Symbol.encode header edits;
Wed, 29 Feb 2012 23:09:06 +0100 wenzelm clarified module Thy_Load;
Sun, 26 Feb 2012 20:05:14 +0100 wenzelm include warning messages in node status;
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;
Sat, 14 Jan 2012 15:30:54 +0100 wenzelm tuned comments;
Sat, 14 Jan 2012 14:34:42 +0100 wenzelm clarified partial restrict operation;
Mon, 09 Jan 2012 23:11:28 +0100 wenzelm command status color via regular markup;
Thu, 05 Jan 2012 14:15:37 +0100 wenzelm prefer raw_message for protocol implementation;
Thu, 01 Dec 2011 14:29:14 +0100 wenzelm clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
less more (0) tip