Merge pull request #212 from impermeable/9.1-update

jim-portegies · web-flow · commit ba72123fc8d1 · 2025-11-17T10:59:46.000+01:00
9.1 update
diff --git a/coq-waterproof.opam b/coq-waterproof.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "coq-waterproof"
-version: "3.1.0+9.1"
+version: "3.1.1+9.1-dev"
 maintainer: "Jim Portegies <j.w.portegies@tue.nl>"
 authors: [
   "Jelle Wemmenhove"
diff --git a/dune-project b/dune-project
@@ -5,6 +5,6 @@
 
 (package
  (name coq-waterproof)
- (version 3.1.0+9.1)
+ (version 3.1.1+9.1-dev)
  (synopsis "Coq proofs in a style that resembles non-mechanized mathematical proofs")
  (depends rocq-core rocq-stdlib))
diff --git a/src/META.coq-waterproof b/src/META.coq-waterproof
@@ -1,6 +1,6 @@
 package "plugin" (
     directory = "."
-    version = "3.1.0+9.1"
+    version = "3.1.1+9.1-dev"
     description = "Waterproof plugin"
     requires = "rocq-runtime.plugins.ltac rocq-runtime.plugins.ltac2"
     archive(byte) = "waterproof.cma"
diff --git a/src/g_waterproof.mlg b/src/g_waterproof.mlg
@@ -22,7 +22,7 @@ DECLARE PLUGIN "coq-waterproof.plugin"
 open Exceptions
 open Waterprove
 
-let waterproof_version : string = "3.1.0+9.1"
+let waterproof_version : string = "3.1.1+9.1-dev"
 }
 
 (* Add any words that occur right after mathematical expressions as keywords *)

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ DECLARE PLUGIN "coq-waterproof.plugin"`
`22`	`22`	`open Exceptions`
`23`	`23`	`open Waterprove`
`24`	`24`
`25`		`-let waterproof_version : string = "3.1.0+9.1"`
	`25`	`+let waterproof_version : string = "3.1.1+9.1-dev"`
`26`	`26`	`}`
`27`	`27`
`28`	`28`	`(* Add any words that occur right after mathematical expressions as keywords *)`