Tue, 26 Mar 2019 17:01:36 +0000 | paulson | generalised homotopic_with to topologies; homotopic_with_canon is the old version | changeset | files |
Tue, 26 Mar 2019 16:27:29 +0100 | Thomas Sewell | follow up on Braun: get timing function right | changeset | files |
Tue, 26 Mar 2019 16:03:01 +0100 | Thomas Sewell | Tweak Braun tree list_fast_rec recursion. | changeset | files |