src/Pure/context_position.ML
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.