chore: resume 2.1.0-dev

abella-prover · Apr 9, 2024 · fd43c46 · fd43c46
1 parent a341484
commit fd43c46
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 11 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,14 +1,12 @@
-Changes in 2.0.8.2 from 2.0.8
+Changes in 2.1.0-dev from 2.0.8
 -------------------------------
 
-This is a very small bugfix release.
-
 Changes
 
 * Abella now compiles with Dune version 3.7 or later.  
   (#154, reported by @yurivict)
-* Abella is now byte-compiled for ppc32 and ppc64.
-  (#153, reporeted by @barracuda156)
+* Abella is now byte-compiled for ppc32 and ppc64.  
+  (#151, reporeted by @barracuda156)
 
 Bugfixes
 

diff --git a/abella.opam b/abella.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "abella"
-version: "2.0.8.2"
+version: "2.1.0-dev"
 synopsis: "Interactive theorem prover based on lambda-tree syntax"
 maintainer: "[email protected]"
 authors: [

diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
 (lang dune 3.7)
 (name abella)
-(version v2.0.8.2)
+(version v2.1.0-dev)
 (using menhir 2.0)
diff --git a/src/version.ml b/src/version.ml
@@ -5,5 +5,5 @@
  * See LICENSE for licensing details.
  *)
 
-let version = "2.0.8.2";;
+let version = "2.1.0-dev";;
 let self_digest = Digest.file Sys.executable_name;;
diff --git a/support/package-lock.json b/support/package-lock.json
diff --git a/support/package.json b/support/package.json
@@ -1,6 +1,6 @@
 {
   "name": "abella_doc_lib",
-  "version": "2.0.8.2",
+  "version": "2.1.0-dev",
   "description": "Support code for abella_doc (https://abella-prover.org)",
   "main": "./js/abella_doc.js",
   "scripts": {