| Tue, 29 May 2018 18:09:08 +0200 | wenzelm | shutdown ML process before output: Theories_Result is timeless/stateless; | changeset | files |
| Tue, 29 May 2018 17:45:48 +0200 | wenzelm | more operations; | changeset | files |
| Tue, 29 May 2018 15:04:02 +0200 | wenzelm | more accurate dependencies; | changeset | files |