forked from Isabelle_DOF/Isabelle_DOF
455 B
455 B
Changelog
All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog and this project adheres to Semantic Versioning.
Unreleased
Added
Changed
1.0.0 - 2018-08-18
Added
- First public release