| Thu, 27 Mar 2008 19:22:24 +0100 | wenzelm | avoid amiguity of Continuity.chain vs. Porder.chain; | changeset | files |
| Thu, 27 Mar 2008 19:22:23 +0100 | wenzelm | avoid amiguity of State.state vs. JVMType.state; | changeset | files |
| Thu, 27 Mar 2008 19:05:10 +0100 | haftmann | changed wrong assignement in signature sections | changeset | files |
| Thu, 27 Mar 2008 19:04:42 +0100 | haftmann | clarified character serializations | changeset | files |
| Thu, 27 Mar 2008 19:04:41 +0100 | haftmann | added Enum | changeset | files |
| Thu, 27 Mar 2008 19:04:40 +0100 | haftmann | circumventing merge problem | changeset | files |
| Thu, 27 Mar 2008 19:04:39 +0100 | haftmann | explicit case names for rule list_induct2 | changeset | files |
| Thu, 27 Mar 2008 19:04:38 +0100 | haftmann | instance for functions, explicit characters | changeset | files |