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.