Mon, 06 Jan 2025 20:29:25 -0500 | Tuomo Valkonen | More Serialize / Deserialize / Debug derives | file | diff | annotate |
Sun, 22 Dec 2024 14:54:46 -0500 | Tuomo Valkonen | Extra reflexivity and hilbert-like requirements for Euclidean. Fuse Dot into Euclidean. | file | diff | annotate |
Sat, 22 Oct 2022 14:40:28 +0300 | Tuomo Valkonen | Improve documentation | file | diff | annotate |
Sat, 22 Oct 2022 18:12:49 +0300 | Tuomo Valkonen | Fix some unit tests after fundamental changes that made them invalid | file | diff | annotate |
Sat, 22 Oct 2022 13:47:15 +0300 | Tuomo Valkonen | Initialise new clean repository | file | diff | annotate |