chore: starting version 2.1.0-dev

abella-prover · Oct 31, 2023 · 75d8853 · 75d8853
1 parent ddfb615
commit 75d8853
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 6 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,9 @@
+Changes in 2.1.0-dev from 2.0.8
+-------------------------------
+
+
+
+
 Changes in 2.0.8 from 2.0.7
 ---------------------------
 

diff --git a/abella.opam b/abella.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "abella"
-version: "2.0.8"
+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,5 +1,5 @@
 (lang dune 3.11)
 (name abella)
-(version v2.0.8)
+(version v2.1.0-dev)
 (using menhir 2.0)
 (using directory-targets 0.1)
diff --git a/src/version.ml b/src/version.ml
@@ -5,5 +5,5 @@
  * See LICENSE for licensing details.
  *)
 
-let version = "2.0.8";;
+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",
+  "version": "2.1.0-dev",
   "description": "Support code for abella_doc (https://abella-prover.org)",
   "main": "./js/abella_doc.js",
   "scripts": {