| Fri, 11 Jan 2019 18:41:50 +0100 | nipkow | tuned headers | changeset | files |
| Fri, 11 Jan 2019 11:35:16 +0100 | wenzelm | clarified output; | changeset | files |
| Fri, 11 Jan 2019 11:28:04 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Jan 2019 11:05:36 +0100 | wenzelm | export generated files; | changeset | files |
| Fri, 11 Jan 2019 10:59:21 +0100 | wenzelm | clarified Path.check_elem; | changeset | files |
| Thu, 10 Jan 2019 19:34:25 +0100 | haftmann | restored test_code for GHC, which got accidentally broken in ef02c5e051e5 | changeset | files |
| Thu, 10 Jan 2019 18:38:21 +0100 | haftmann | restored quickcheck/narrowing, which got accidentally broken in ef02c5e051e5 | changeset | files |