]>
2021-03-16 | Michael Orlitzky | eja: update the DESIGN doc. | blob | commitdiff | raw |
2021-03-02 | Michael Orlitzky | eja: don't mess with the user's basis. | blob | commitdiff | raw | diff to current |
2021-03-02 | Michael Orlitzky | eja: update the design document. | blob | commitdiff | raw | diff to current |
2021-02-25 | Michael Orlitzky | eja: add a note on debugging to the DESIGN document. | blob | commitdiff | raw | diff to current |
2020-12-03 | Michael Orlitzky | eja: update the DESIGN and TODO documents. | blob | commitdiff | raw | diff to current |
2020-12-03 | Michael Orlitzky | eja: propagate check_axioms to some other "check" varia... | blob | commitdiff | raw | diff to current |
2020-11-26 | Michael Orlitzky | eja: add some DESIGN notes. | blob | commitdiff | raw | diff to current |