Release: 2.0.8.1

abella-prover · Apr 5, 2024 · 70ea6dd · 70ea6dd
1 parent 9f93a6b
commit 70ea6dd
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,13 +1,12 @@
-Changes in 2.1.0-dev from 2.0.8
+Changes in 2.0.8.1 from 2.0.8
 -------------------------------
 
-Additions
-
-* Abella can now load files over the internet. Anywhere a file name is
-  expected, a URL can be used instead. For instance, it is valid to say:
+This is a very small bugfix release.
 
-  >     Import "https://abella-prover.org/examples/first-order/add".
+Changes
 
+* Abella now compiles with Dune version 3.7 or later.  
+  (#154, reported by @yurivict)
 
 Bugfixes