| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Mon, 02 Nov 2009 20:30:40 +0100 | wenzelm | modernized structure Context_Position; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 29 Sep 2008 21:26:26 +0200 | wenzelm | renamed report to report_visible; | file | diff | annotate |
| Mon, 29 Sep 2008 14:41:23 +0200 | wenzelm | Context position visibility. | file | diff | annotate |
| Mon, 01 Oct 2007 15:14:53 +0200 | wenzelm | turned into generic context data; | file | diff | annotate |
| Sun, 30 Sep 2007 16:20:35 +0200 | wenzelm | added properties_of; | file | diff | annotate |
| Wed, 13 Jun 2007 00:01:57 +0200 | wenzelm | Context positions. | file | diff | annotate |