shortlog
| Sun, 22 Dec 2024 17:24:33 -0500 | Tuomo Valkonen | Reduce preadjointing constraints | changeset | files |
| Sun, 22 Dec 2024 15:30:34 -0500 | Tuomo Valkonen | More Instance parametrisation | changeset | files |
| Sun, 22 Dec 2024 14:54:46 -0500 | Tuomo Valkonen | Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. | changeset | files |
