changeset 33686 | 8e33ca8832b1 |
parent 23434 | b2e7d4c29614 |
--- a/lib/ProofGeneral/pgip_isar.xml Sat Nov 14 18:16:13 2009 +0100 +++ b/lib/ProofGeneral/pgip_isar.xml Sat Nov 14 18:36:05 2009 +0100 @@ -1,8 +1,6 @@ - <!-- Title: Pure/pgip_isar.xml - ID: $Id$ Author: David Aspinall, University of Edinburgh - Christoph Lüth, University of Bremen + Author: Christoph Lüth, University of Bremen This file contains the configuration messages which configure PGIP interfaces for Isabelle/Isar, in particular, explaining