| Fri, 16 Jun 2017 21:04:39 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 16 Jun 2017 20:44:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 16 Jun 2017 16:21:17 +0200 | wenzelm | support for separate proof state output; | changeset | files |