Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@kjain14
kjain14 authored May 21, 2020
1 parent ade61df commit fbeb894
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
### Changed
- Initial release of mCoq for Coq 8.10

[Unreleased]: https://github.com/coq-community/chapar/compare/v8.10.0...master
[8.10.0]: https://github.com/coq-community/chapar/releases/tag/v8.10.0
[1.0]: https://github.com/coq-community/chapar/releases/tag/v1.0
[Unreleased]: https://github.com/EngineeringSoftware/mcoq/compare/v8.10.0...master
[8.10.0]: https://github.com/EngineeringSoftware/mcoq/releases/tag/v8.10.0
[1.0]: https://github.com/EngineeringSoftware/mcoq/releases/tag/v1.0

0 comments on commit fbeb894

Please sign in to comment.