| Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | nbe decides equality of abstractions by extensionality | changeset | files |
| Fri, 26 Nov 2010 23:51:34 +0100 | wenzelm | eliminated some generated comments; | changeset | files |
| Fri, 26 Nov 2010 23:41:23 +0100 | wenzelm | merged | changeset | files |
| Fri, 26 Nov 2010 23:12:01 +0100 | haftmann | merged | changeset | files |
| Fri, 26 Nov 2010 22:33:21 +0100 | haftmann | keep type variable arguments of datatype constructors in bookkeeping | changeset | files |
| Fri, 26 Nov 2010 22:36:55 +0100 | blanchet | document changes in Nitpick and MESON/Metis | changeset | files |
| Fri, 26 Nov 2010 22:36:24 +0100 | blanchet | renamed "trace_me{son,tis}" and "verbose_metis" to have the name of the tool first | changeset | files |