]>
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 |
2020-03-03 | kusumotonorio | factlog vocab ==> logic vocab | blob | commitdiff | raw | diff to current |
2020-03-03 | kusumotonorio | Rename directory, files. | blob | commitdiff | raw | diff to current |