History of
doc
@output-sexpr
git clone https://git.catseye.tc/Eqthy/
- Add Falderal test for variable renaming. Chris Pressey 2 years ago
- Show step number in some error messages. Chris Pressey 2 years ago
- Embed Eqthy documents in Markdown documents. Chris Pressey 2 years ago
- Parse and verify one file at a time. Expand test driver. Chris Pressey 2 years ago
- Add document describing equational logic itself. Chris Pressey 2 years ago
- Add test cases. Previous theorems can be used as justifications. Chris Pressey 2 years ago
- Check the known-valid example documents as part of test script. Chris Pressey 2 years ago
- Demonstrate multiple theorems in a single document. Chris Pressey 2 years ago
- Implement narrowing down of search. Chris Pressey 2 years ago
- Document the Syntax for Comments. Improve README. Chris Pressey 2 years ago
- Change how rules are stored. Add narrow_rule_search method. Chris Pressey 2 years ago
- Try to deal properly with Reference hints. Hit a wall. Chris Pressey 2 years ago
- Refactor documentation. Chris Pressey 2 years ago