Kind2/CHANGELOG.md

5 lines
145 B
Markdown

# Kind2 0.2.76
The main.rs and language.rs files have been broken into several parts.
# Kind2 0.2.79
New architecture and better error messages.