isabelle: File revisions

src/Pure/PIDE/query_operation.scala

Fri, 11 Oct 2013 23:12:04 +0200	wenzelm	more consistent state and GUI update, e.g. relevant for full-screen mode switch with its exit/init side-effect;	file \| diff \| annotate
Fri, 11 Oct 2013 20:45:21 +0200	wenzelm	clarified Editor.current_command: allow outdated snapshot;	file \| diff \| annotate
Mon, 07 Oct 2013 12:28:19 +0200	wenzelm	clarified remove_overlay: always flush in order to make sure that apply_query can make a fresh start with the same arguments (see also 6e69f9ca8f1c) -- NB: print functions are idempotent;	file \| diff \| annotate
Wed, 25 Sep 2013 11:12:59 +0200	wenzelm	explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d);	file \| diff \| annotate
Tue, 24 Sep 2013 16:35:01 +0200	wenzelm	skip ignored commands, similar to former proper_command_at (see d68ea01d5084) -- relevant to Output, Query_Operation etc.;	file \| diff \| annotate
Tue, 24 Sep 2013 14:09:39 +0200	wenzelm	tuned;	file \| diff \| annotate
Tue, 13 Aug 2013 11:57:42 +0200	wenzelm	more cleanup;	file \| diff \| annotate
Mon, 12 Aug 2013 17:17:49 +0200	wenzelm	moved generic module to its proper place;	file \| diff \| annotate \| base

isabelle