| Wed, 05 Dec 2007 14:15:48 +0100 | haftmann | interpretation of typedefs | changeset | files |
| Wed, 05 Dec 2007 14:15:45 +0100 | haftmann | simplified infrastructure for code generator operational equality | changeset | files |
| Wed, 05 Dec 2007 14:15:39 +0100 | haftmann | added something about instantiation target | changeset | files |
| Wed, 05 Dec 2007 04:34:15 +0100 | kleing | switch poly to 5.1, removed -e flag from most sessions | changeset | files |
| Wed, 05 Dec 2007 04:30:58 +0100 | kleing | switch at-poly main to poly 5.1 | changeset | files |
| Wed, 05 Dec 2007 04:29:27 +0100 | kleing | make mac-poly non-experimental | changeset | files |
| Wed, 05 Dec 2007 04:27:37 +0100 | kleing | make at64 non-experimental | changeset | files |
| Tue, 04 Dec 2007 22:49:45 +0100 | wenzelm | Isabelle process wrapper -- interaction via external program. | changeset | files |