Skip to content

Commit 1dccbb9

Browse files
garesgares
committed
changelog
1 parent 3d399bf commit 1dccbb9

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

‎Changelog.md‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
# [3.1.0] 01/09/2025
2+
3+
Requires Elpi 3.0.0 and Coq 8.20 or Rocq 9.0 or Rocq 9.1.
4+
5+
Port to Elpi 3.1
6+
17
# [3.0.0] 18/7/2025
28

39
Requires Elpi 3.0.0 and Coq 8.20 or Rocq 9.0 or Rocq 9.1.

0 commit comments

Comments
 (0)