| Mon, 02 Sep 2013 15:13:00 +0200 | panny | handle direct corecursion | changeset | files |
| Mon, 02 Sep 2013 11:03:02 +0200 | wenzelm | updated according to bceec99254b0; | changeset | files |
| Sun, 01 Sep 2013 14:00:05 +0200 | panny | improved interfaces | changeset | files |
| Sun, 01 Sep 2013 10:45:54 +0200 | panny | simplified rewriting of map arguments | changeset | files |
| Sun, 01 Sep 2013 16:38:04 +1000 | kleing | remove redundant (simp del: ..) | changeset | files |
| Sun, 01 Sep 2013 00:37:53 +0200 | traytel | modernized more examples | changeset | files |
| Sat, 31 Aug 2013 23:55:03 +0200 | traytel | merged | changeset | files |