| Wed, 27 Nov 2002 17:20:49 +0100 | berghofe | default_output now escapes \'s more carefully. | changeset | files |
| Wed, 27 Nov 2002 17:17:53 +0100 | berghofe | Added XML parser (useful for parsing PGIP / PGML). | changeset | files |
| Wed, 27 Nov 2002 17:16:47 +0100 | berghofe | Added some functions for processing PGIP (thanks to David Aspinall). | changeset | files |
| Wed, 27 Nov 2002 17:11:38 +0100 | berghofe | Fixed bug in consts_code section. | changeset | files |
| Wed, 27 Nov 2002 17:07:05 +0100 | berghofe | Replaced some blasts by rules. | changeset | files |
| Wed, 27 Nov 2002 17:06:47 +0100 | berghofe | Changed format of realizers / correctness proofs. | changeset | files |
| Mon, 25 Nov 2002 20:32:29 +0100 | nipkow | renamed a few constants | changeset | files |