Merge pull request #222 from coq/release-8.18.0

bump coq version to 8.18.0
coq · Oct 11, 2023 · 9bdf77e · 9bdf77e
2 parents 1c10775 + 67afa20
commit 9bdf77e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/incl/macros.html b/incl/macros.html
@@ -1,3 +1,3 @@
-<#def CURRENTVERSION>8.17.1</#def>
+<#def CURRENTVERSION>8.18.0</#def>
 <#def CURRENTVERSIONTAG>V<#CURRENTVERSION></#def>
 <#def CURRENTCREDITSURL>https://github.com/coq/coq/blob/<#CURRENTVERSIONTAG>/CREDITS</#def>