src/Pure/PIDE/isabelle_markup.scala
Tue, 13 Mar 2012 21:17:37 +0100 wenzelm clarified command state -- markup within proper_range, excluding trailing whitespace;
Sat, 03 Mar 2012 18:18:39 +0100 wenzelm clarified terminology of raw protocol messages;
Fri, 24 Feb 2012 18:14:06 +0100 wenzelm clarifed name space "type name", which covers logical and non-logical types, and often occurs inside outer syntax "type" markup;
Thu, 05 Jan 2012 14:48:41 +0100 wenzelm prefer raw_message for protocol implementation;
Thu, 05 Jan 2012 14:34:18 +0100 wenzelm prefer raw_message for protocol implementation;
Thu, 05 Jan 2012 14:15:37 +0100 wenzelm prefer raw_message for protocol implementation;
Thu, 01 Dec 2011 11:54:39 +0100 wenzelm updated markup conforming to ML side;
Tue, 29 Nov 2011 21:50:00 +0100 wenzelm clarified Time vs. Timing;
Tue, 29 Nov 2011 19:49:36 +0100 wenzelm rearranged files;
less more (0) tip