| Fri, 24 Nov 2006 22:05:15 +0100 | wenzelm | added cterm_rule; | changeset | files |
| Fri, 24 Nov 2006 22:05:14 +0100 | wenzelm | fake predeclaration of structure ProofContext; | changeset | files |
| Fri, 24 Nov 2006 22:05:13 +0100 | wenzelm | added export_morphism; | changeset | files |
| Fri, 24 Nov 2006 22:05:12 +0100 | wenzelm | ProofContext.init; | changeset | files |
| Fri, 24 Nov 2006 17:23:15 +0100 | aspinall | Comment: see RFC 2396 for relative URI syntax. | changeset | files |
| Fri, 24 Nov 2006 17:22:32 +0100 | aspinall | Send full paths in PGIP version of file loaded/retracted messages | changeset | files |
| Fri, 24 Nov 2006 16:38:42 +0100 | paulson | Conversion of "equal" to "=" for TSTP format; big tidy-up | changeset | files |