| Thu, 04 Jan 2007 17:55:12 +0100 | paulson | improvements to proof reconstruction. Some files loaded in a different order | changeset | files |
| Thu, 04 Jan 2007 17:52:28 +0100 | webertj | using Array.modifyi (no functional change) | changeset | files |
| Thu, 04 Jan 2007 17:49:43 +0100 | wenzelm | run as RAW session; | changeset | files |
| Thu, 04 Jan 2007 17:49:42 +0100 | wenzelm | removed obsolete option -C; | changeset | files |
| Thu, 04 Jan 2007 17:49:41 +0100 | wenzelm | removed obsolete Pure-copied target; | changeset | files |
| Thu, 04 Jan 2007 17:17:48 +0100 | haftmann | updated manual | changeset | files |
| Thu, 04 Jan 2007 17:11:09 +0100 | haftmann | updated manual | changeset | files |