changeset 33686 | 8e33ca8832b1 |
parent 23434 | b2e7d4c29614 |
--- a/lib/ProofGeneral/pgip.rnc Sat Nov 14 18:16:13 2009 +0100 +++ b/lib/ProofGeneral/pgip.rnc Sat Nov 14 18:36:05 2009 +0100 @@ -4,8 +4,6 @@ # Authors: David Aspinall, LFCS, University of Edinburgh # Christoph Lüth, University of Bremen # -# Version: $Id$ -# # Status: Prototype. # # For additional commentary, see accompanying commentary document available at