]>
2023-08-22 | nomennescio | Merge branch 'factor:master' into feature-vm-prepare... | blob | commitdiff | raw | diff to current |
2023-05-01 | John Benediktsson | generalizations: fix test | blob | commitdiff | raw | diff to current |
2022-06-22 | Doug Coleman | generalizations: add generalizations for tuck/over... | blob | commitdiff | raw |
2022-06-19 | Doug Coleman | Merge remote-tracking branch 'origin/html5-force-push' | blob | commitdiff | raw | diff to current |
2022-06-17 | Doug Coleman | generalizations: Add nrotates and -nrotates. | blob | commitdiff | raw | diff to current |
2021-01-28 | Doug Coleman | factor: trim using lists | blob | commitdiff | raw | diff to current |
2020-11-21 | John Benediktsson | core: whoops, all these moves got missed. | blob | commitdiff | raw | diff to current |