Sat, 19 Jan 2019 07:19:16 +0000 | haftmann | self-contained code modules for Haskell | changeset | files |
Fri, 18 Jan 2019 19:48:04 -0500 | immler | automation for unverloading definitions | changeset | files |
Fri, 18 Jan 2019 18:52:27 -0500 | immler | restore type variable names in unoverload_type | changeset | files |
Fri, 18 Jan 2019 21:36:13 +0100 | nipkow | resolved conflict | changeset | files |
Fri, 18 Jan 2019 21:22:46 +0100 | nipkow | resolved conflict | changeset | files |
Fri, 18 Jan 2019 21:20:14 +0100 | nipkow | tuned headers | changeset | files |