lib/ProofGeneral/pgip_isar.xml
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 18:18:34 +0200 aspinall Add icon for interface. Isabelle2005
Fri, 30 Sep 2005 17:52:18 +0200 aspinall Add helpdocs and welcomemsg here instead of hard wiring in proof_general.ML.
Fri, 30 Sep 2005 10:58:11 +0200 aspinall Fix for guiconfig -> displayconfig element rename
Thu, 09 Sep 2004 00:23:55 +0200 aspinall Fix for schema changes in pgiptype
Mon, 16 Aug 2004 17:56:07 +0200 aspinall Experimental pgip_isar.xml file
Thu, 10 Jun 2004 18:41:47 +0200 aspinall Interface configuration for Isar
less more (0) tip