lib/ProofGeneral/pgip.rnc
2009-11-14 wenzelm 2009-11-14 eliminated obsolete CVS Ids; tuned headers;
2007-06-20 aspinall 2007-06-20 Synchronize schema with current version
2005-09-30 aspinall 2005-09-30 Schema for PGIP