| Fri, 30 Sep 2005 17:33:22 +0200 | aspinall | Explanatory text | changeset | files |
| Fri, 30 Sep 2005 17:28:04 +0200 | aspinall | Schema files (for information, and validating pgip_isar.xml) | changeset | files |
| Fri, 30 Sep 2005 17:24:51 +0200 | aspinall | Schema for PGIP | changeset | files |
| Fri, 30 Sep 2005 15:28:43 +0200 | wenzelm | pruned notes about Poly/ML; | changeset | files |
| Fri, 30 Sep 2005 15:17:04 +0200 | wenzelm | converted to Isar theory format; | changeset | files |
| Fri, 30 Sep 2005 13:47:36 +0200 | aspinall | Initialise pgip id also for Emacs mode. Allow dynamic config file location for PGIP. | changeset | files |
| Fri, 30 Sep 2005 11:43:42 +0200 | wenzelm | tuned; | changeset | files |