]>
2023-01-20 | John Benediktsson | Switch to https urls | blob | commitdiff | raw |
2022-01-20 | Doug Coleman | factor: trim more using lists. | blob | commitdiff | raw | diff to current |
2021-03-23 | John Benediktsson | extra: using keepd instead of "2keep drop". | blob | commitdiff | raw | diff to current |
2021-03-21 | Doug Coleman | factor: map-zip -> zip-with | blob | commitdiff | raw | diff to current |
2020-04-02 | John Benediktsson | Revert "basis: Move any vocabularies required by basis... | blob | commitdiff | raw | diff to current |
2020-03-28 | Doug Coleman | basis: Move any vocabularies required by basis into... | blob | commitdiff | raw |
2018-07-05 | Doug Coleman | modern.out: fix load error.. | blob | commitdiff | raw | diff to current |
2018-07-04 | Doug Coleman | modern: Add to extra/ some version of modern that has... | blob | commitdiff | raw | diff to current |