History of doc / Eqthy.md @master git clone https://git.catseye.tc/Eqthy/

• On the command line, call the input format `bare-eqthy`. Chris Pressey a month ago
• Move loading logic into loader module. Chris Pressey a month ago
• Replace --bare command line flag with --input-format choices. Chris Pressey a month ago
• Update copyright year and run `reuse lint` as part of the test. Chris Pressey a month ago
• Raise a syntax error if axioms (or anything else) follow a theorem. Chris Pressey a month ago
• Bump version number. Chris Pressey a month ago
• Arrange license info in repo to follow REUSE 3.0 convention. Chris Pressey 3 months ago
• Add another (very basic) unit test. Chris Pressey 8 months ago
• Add Falderal test for variable renaming. Chris Pressey 1 year, 29 days ago
• Show step number in some error messages. Chris Pressey 1 year, 1 month ago
• Embed Eqthy documents in Markdown documents. Chris Pressey 1 year, 3 months ago
• Parse and verify one file at a time. Expand test driver. Chris Pressey 1 year, 3 months ago
• Add document describing equational logic itself. Chris Pressey 1 year, 4 months ago
• Add test cases. Previous theorems can be used as justifications. Chris Pressey 1 year, 6 months ago
• Check the known-valid example documents as part of test script. Chris Pressey 1 year, 6 months ago
• Demonstrate multiple theorems in a single document. Chris Pressey 1 year, 6 months ago
• Implement narrowing down of search. Chris Pressey 1 year, 6 months ago
• Document the Syntax for Comments. Improve README. Chris Pressey 1 year, 6 months ago
• Change how rules are stored. Add narrow_rule_search method. Chris Pressey 1 year, 6 months ago
• Try to deal properly with Reference hints. Hit a wall. Chris Pressey 1 year, 6 months ago
• Refactor documentation. Chris Pressey 1 year, 6 months ago