| Tue, 26 Mar 2019 17:01:55 +0000 | paulson | merged | changeset | files |
| 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 |
| Mon, 25 Mar 2019 21:46:37 +0100 | wenzelm | more robust: avoid NPE due to odd problems with object initialization; | changeset | files |
| Mon, 25 Mar 2019 19:50:52 +0100 | wenzelm | RDF meta data for AFP entries; | changeset | files |
| Mon, 25 Mar 2019 17:21:26 +0100 | wenzelm | more strict AFP properties; | changeset | files |