isabelle: File revisions

src/Pure/PIDE/protocol.ML

Wed, 11 Apr 2012 11:44:21 +0200	wenzelm	just one dedicated execution per document version -- NB: non-monotonicity of cancel always requires fresh update;	file \| diff \| annotate
Mon, 09 Apr 2012 17:22:23 +0200	wenzelm	simplified Future.cancel/cancel_group (again) -- running threads only;	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
Sat, 03 Mar 2012 18:18:39 +0100	wenzelm	clarified terminology of raw protocol messages;	file \| diff \| annotate
Thu, 05 Jan 2012 13:24:29 +0100	wenzelm	tuned signature -- emphasize special nature of protocol commands;	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