Releases: 17451k/eventb-to-txt
Releases · 17451k/eventb-to-txt
v1.6
- Fix an issue with outputting hidden files in some cases
- Fix broken
--merge
option
v1.5
- Support output to stdout (by @evdenis)
- Support running on individual *.buc or *.bum files (by @evdenis)
v1.4
- Use CamilleX txt format by default
v1.3.2
- Always save output files with LF line endings
- Make output files consistent between Windows, Linux and macOS
v1.3.1
- Trim trailing whitespaces
v1.3
- Replace Windows new lines by UNIX
- Correctly print models with side refinement levels
- Add support for printing multiple models at once
- Create output directory if it does not exist
- Test compatibility with Python 3.8
- Various small improvements