Mon, 09 Jul 2007 23:12:49 +0200 | wenzelm | use Position.file_of; | file | diff | annotate |
Thu, 05 Jul 2007 20:36:48 +0200 | aspinall | Update PGML version, add system name | file | diff | annotate |
Sat, 03 Mar 2007 12:38:36 +0100 | aspinall | Add Isabelle-specific objtypes | file | diff | annotate |
Mon, 22 Jan 2007 16:53:33 +0100 | aspinall | Add location_of_position. Needs work elsewhere. | file | diff | annotate |
Fri, 29 Dec 2006 18:25:46 +0100 | wenzelm | minor tuning; | file | diff | annotate |
Mon, 04 Dec 2006 20:40:11 +0100 | aspinall | Revamped Proof General interface. | file | diff | annotate |