lib/ProofGeneral/pgip_isar.xml
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 Add icon for interface.
2005-09-30 aspinall 2005-09-30 Add helpdocs and welcomemsg here instead of hard wiring in proof_general.ML.
2005-09-30 aspinall 2005-09-30 Fix for guiconfig -> displayconfig element rename
2004-09-09 aspinall 2004-09-09 Fix for schema changes in pgiptype
2004-08-16 aspinall 2004-08-16 Experimental pgip_isar.xml file
2004-06-10 aspinall 2004-06-10 Interface configuration for Isar