lib/ProofGeneral/pgip.rnc
Sat, 14 Nov 2009 18:36:05 +0100 wenzelm eliminated obsolete CVS Ids;
Wed, 20 Jun 2007 15:07:42 +0200 aspinall Synchronize schema with current version
Fri, 30 Sep 2005 17:24:51 +0200 aspinall Schema for PGIP
less more (0) tip