isabelle: File revisions

src/Pure/PIDE/protocol.scala

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

isabelle