Clafer Tools 0.3.1 Released!

by Kacper Bąk
 
Changelog:

• The Clafer compiler can handle multi-file input and generate multiple corresponding outputs
• Added rendering of Clafer models in CVL notation
• Improved error reporting
• Minor bug fixes