| Tue, 29 May 2018 14:25:39 +0200 | wenzelm | more operations (as in ML); | changeset | files |
| Tue, 29 May 2018 13:45:51 +0200 | wenzelm | clarified option -O: avoid conflict with build/dump option -D; | changeset | files |
| Tue, 29 May 2018 20:01:50 +0200 | nipkow | slicker proof | changeset | files |