isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

src/Pure/PIDE/query_operation.scala

Thu, 20 Feb 2014 14:36:17 +0100	wenzelm	tuned imports;	file \| diff \| annotate
Thu, 21 Nov 2013 21:55:29 +0100	wenzelm	back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;	file \| diff \| annotate
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

less more (0) tip

isabelle