lib/ProofGeneral/pgml.rnc
2009-11-14 wenzelm 2009-11-14 eliminated obsolete CVS Ids; tuned headers;
2005-09-30 aspinall 2005-09-30 Schema files (for information, and validating pgip_isar.xml)