lib/ProofGeneral/pgip_isar.xml
Thu, 10 Jun 2004 18:41:47 +0200 aspinall Interface configuration for Isar
less more (0) tip