| Tue, 29 May 2018 15:04:02 +0200 | wenzelm | more accurate dependencies; | changeset | files |
| Tue, 29 May 2018 14:45:54 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 29 May 2018 14:38:32 +0200 | wenzelm | more formal dump aspects; | changeset | files |
| Tue, 29 May 2018 14:25:39 +0200 | wenzelm | more operations (as in ML); | changeset | files |