| Sat, 14 Nov 2009 18:36:05 +0100 | wenzelm | eliminated obsolete CVS Ids; | file | diff | annotate |
| Wed, 20 Jun 2007 15:07:42 +0200 | aspinall | Synchronize schema with current version | file | diff | annotate |
| Fri, 30 Sep 2005 18:18:34 +0200 | aspinall | Add icon for interface. | file | diff | annotate |
| Fri, 30 Sep 2005 17:52:18 +0200 | aspinall | Add helpdocs and welcomemsg here instead of hard wiring in proof_general.ML. | file | diff | annotate |
| Fri, 30 Sep 2005 10:58:11 +0200 | aspinall | Fix for guiconfig -> displayconfig element rename | file | diff | annotate |
| Thu, 09 Sep 2004 00:23:55 +0200 | aspinall | Fix for schema changes in pgiptype | file | diff | annotate |
| Mon, 16 Aug 2004 17:56:07 +0200 | aspinall | Experimental pgip_isar.xml file | file | diff | annotate |
| Thu, 10 Jun 2004 18:41:47 +0200 | aspinall | Interface configuration for Isar | file | diff | annotate |