]>
2023-01-20 | John Benediktsson | Switch to https urls | blob | commitdiff | raw |
2020-03-15 | kusumotonorio | Reduced stack waste, added LOGIC-RED: and LOGIC-VAR... | blob | commitdiff | raw | diff to current |
2020-03-03 | John Benediktsson | logic.examples: cleanup, make hanoi tests assert output. | 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 |