v0.3.9

What's Changed

• Fix UB from precondition violations caught in rust 1.78 by @tirix in #159
• Update cli help by @icecream17 in #158
• List stmt by @tirix in #150
• HTML validation in verify markup by @digama0 in #157
• Upd cli help by @tirix in #167
• dump formulas as s-exprs by @digama0 in #169
• --verify-parse-stmt does nothing by @digama0 in #171

Full Changelog: v0.3.8...v0.3.9

v0.3.8

What's Changed

• Split into library and binary by @tirix in #149
• switch from lazy_static to std::sync::OnceLock by @digama0 in #152
• Fix doc warnings, add doc to CI. by @tirix in #151
• Include syntactic axioms in --parse-formula by @tirix in #153
• parse \r\n in discouragements by @digama0 in #155

Full Changelog: v0.3.7...v0.3.8

v0.3.7

What's Changed

• make verify_one public by @digama0 in #88
• clippy fixes by @digama0 in #92
• Substitute sub-formulas by @tirix in #93
• expose ProofTreePrinter, make enable_exprs optional by @digama0 in #94
• Generate discouraged file by @tirix in #96
• Discouraged file path can be specified on the command line by @tirix in #97
• Discouraged control flow by @tirix in #98
• Formula typecode converter by @tirix in #104
• std::Error implementation for StmtParseError by @tirix in #105
• always report all errors by @digama0 in #108
• Updating the dependencies by @josojo in #110
• Fixing the running of export statements by @josojo in #111
• add axiom_use generator by @digama0 in #107
• Add function to export theorem dependencies in GraphML format by @tirix in #112
• Axiom usage verification by @tirix in #118
• add double-quote escape in $t/$j comments by @digama0 in #91
• Axiom usage pass does not require statement parsing by @tirix in #120
• Add a "statement use" option by @tirix in #123
• Fix 'missing contributor' error message by @digama0 in #126
• Add handling for double underscores by @tirix in #127
• don't unescape _ in labels/URLs and in HTML mode by @digama0 in #130
• trim spaces before/after math mode and labels by @digama0 in #132
• add comparison by label/atom/address by @digama0 in #133
• fix error formatting bug by @icecream17 in #136
• make HeadingComment public by @digama0 in #134
• Fix for #135 by @tirix in #138
• call grammar_pass before export_grammar_dot by @digama0 in #142
• add const_ranges iterator by @digama0 in #140
• lazy fail on parse errors by @digama0 in #139
• Fix set.mm check by @jkingdon in #143
• support syntax 'A' 'B' 'C'; command, style by @digama0 in #144
• Clippy update by @tirix in #145

New Contributors

• @josojo made their first contribution in #110
• @jeroenvanrensen made their first contribution in #122
• @icecream17 made their first contribution in #136
• @jkingdon made their first contribution in #143

Full Changelog: v0.3.6...v0.3.7

v0.3.6

What's Changed

• Clippy 0.1.60 by @tirix in #85
• Add a convert_to_provable parameter to parse_formula by @tirix in #86

Full Changelog: v0.3.5...v0.3.6

v0.3.5

What's Changed

• Implement Comparer trait for the Database by @tirix in #83
• add file inclusion tests by @digama0 in #84
• String parsing : fix issue with multiple whitespaces in a row by @tirix in #82

Full Changelog: v0.3.4...v0.3.5

v0.3.4

What's Changed

• Better error handling in grammar by @tirix in #78
• Statements parse error by @tirix in #79
• Statement parse errors now refer to spans by @tirix in #80

Full Changelog: v0.3.3...v0.3.4

v0.3.3

What's Changed

• Fix for metamath_vspa#11 by @tirix in #76
• Add API to provide "logic" typecode by @tirix in #77

Full Changelog: v0.3.2...v0.3.3

v0.3.2

What's Changed

• Export incomplete proofs, fix version. by @tirix in #72
• Provide statements and spans for outline nodes by @tirix in #74
• Fix a grammar panic by @tirix in #75

Full Changelog: v0.3.1...v0.3.2

v0.3.1

This is a baseline, meant to start tagging releases.
It includes all the functionality developed so far:

• parsing, verification and diagnostics as originally developed in SMM3 by @sorear
• grammar parsing and formula building by @tirix
• diagnostics formatting using annotate-snippet by @tirix
• database outline by @tirix
• typesetting tag parsing by @digama0
• statement comment parsing by @digama0
• cleanup, refactoring and reviews by @digama0
• updates and cleanup by @david-a-wheeler