| Mon, 06 Jan 2014 19:55:01 +0100 | haftmann | dropped legacy | changeset | files |
| Mon, 06 Jan 2014 09:31:21 +0100 | haftmann | order and graph for code symbols | changeset | files |
| Mon, 06 Jan 2014 09:31:19 +0100 | haftmann | special treatment of ==> and == solely as constants | changeset | files |
| Mon, 06 Jan 2014 09:31:18 +0100 | haftmann | uniform orientation of instances as (type constructor, type class) | changeset | files |
| Sun, 05 Jan 2014 18:59:29 +0100 | nipkow | minimized class dependency, updated references | changeset | files |
| Fri, 03 Jan 2014 22:04:44 +0100 | haftmann | proper context for simplifier invocations in code generation stack | changeset | files |
| Fri, 03 Jan 2014 21:52:00 +0100 | haftmann | spelling | changeset | files |
| Fri, 03 Jan 2014 14:38:13 +0100 | blanchet | proper name generation to avoid clash with 'P' in user specification | changeset | files |