src/Pure/context_position.ML
2010-08-27 wenzelm 2010-08-27 more careful treatment of context visibility flag wrt. spurious warnings;
2010-08-19 wenzelm 2010-08-19 Output_Position.report_text -- markup with potential "arguments";
2010-08-08 wenzelm 2010-08-08 prefer Context_Position.report where a proper context is available -- notably for "inner" entities;
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-11-02 wenzelm 2009-11-02 modernized structure Context_Position;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-09-29 wenzelm 2008-09-29 renamed report to report_visible; tuned comments;
2008-09-29 wenzelm 2008-09-29 Context position visibility.
2007-10-01 wenzelm 2007-10-01 turned into generic context data;
2007-09-30 wenzelm 2007-09-30 added properties_of;
2007-06-13 wenzelm 2007-06-13 Context positions.