Skip to content

Commit 0cb5487

Browse files
garesgares
committed
release 1.7.0
1 parent aa16865 commit 0cb5487

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎Changelog.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Changelog
22

3-
## UNRELEASED
3+
## [1.7.0] - 26-11-2020
44

55
Requires Elpi 1.12 and Coq 8.12.
66

0 commit comments

Comments
 (0)