2019-01-21 | haftmann | slightly more conventional naming schema | changeset | files |
2019-01-21 | haftmann | Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space | changeset | files |
2019-01-21 | blanchet | updated news | changeset | files |
Loading... |