src/Pure/context_position.ML
Fri, 17 Sep 2010 20:42:26 +0200 wenzelm simplified some internal flags using Config.T instead of full-blown Proof_Data;
Fri, 17 Sep 2010 20:18:27 +0200 wenzelm tuned signature of (Context_)Position.report variants;
Fri, 17 Sep 2010 17:09:31 +0200 wenzelm simplified/clarified (Context_)Position.markup/reported_text;
Fri, 27 Aug 2010 19:43:28 +0200 wenzelm more careful treatment of context visibility flag wrt. spurious warnings;
Thu, 19 Aug 2010 11:28:51 +0200 wenzelm Output_Position.report_text -- markup with potential "arguments";
Sun, 08 Aug 2010 19:54:54 +0200 wenzelm prefer Context_Position.report where a proper context is available -- notably for "inner" entities;
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Mon, 02 Nov 2009 20:30:40 +0100 wenzelm modernized structure Context_Position;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Mon, 29 Sep 2008 21:26:26 +0200 wenzelm renamed report to report_visible;
Mon, 29 Sep 2008 14:41:23 +0200 wenzelm Context position visibility.
Mon, 01 Oct 2007 15:14:53 +0200 wenzelm turned into generic context data;
Sun, 30 Sep 2007 16:20:35 +0200 wenzelm added properties_of;
Wed, 13 Jun 2007 00:01:57 +0200 wenzelm Context positions.
less more (0) tip