diff --git a/changelog.md b/changelog.md
index 20186b5..1822240 100644
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,16 @@
+# v0.2.5, Sep 14, 2024
+
+- Adding `@goal` and `@scheduler` to Scallop: now we have multiple semantics driven by scheduling strategies (BFS, DFS, A-Star, Beam, etc.) and stopping criteria.
+- Removing the package `scallopy_ext`; moving everything into `scallopy` and simplifying installation.
+- Refactoring Scallopy Plugins. All the existing plugins under `etc/scallopy-plugins` are updated to the new API. Instead of having individual entry-points, now Plugins are programed as a Python class inheriting `scallopy.Plugin`.
+
+Lower Level:
+- Improving query planning by prioritizing over demand predicates
+- Optimizing RAM by introducing deduplication of update rules
+- Adding new provenances, including various tropical semirings for discrete and real-number reasoning modes
+- Adding optimizations to Scallop runtime join algorithms
+- Multiple bugs fixed
+
 # v0.2.4, Aug 30, 2024
 
 - Rule tags can now be expressions with potential reference to local variables: `rel 1/n::head() = body(n)`
diff --git a/core/Cargo.toml b/core/Cargo.toml
index 6175f49..699fb5c 100644
--- a/core/Cargo.toml
+++ b/core/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scallop-core"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <liby99@icloud.com>"]
 edition = "2018"
 
diff --git a/etc/codegen/Cargo.toml b/etc/codegen/Cargo.toml
index 6a333d5..671eada 100644
--- a/etc/codegen/Cargo.toml
+++ b/etc/codegen/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scallop-codegen"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <liby99@icloud.com>"]
 edition = "2018"
 
diff --git a/etc/scallop-cli/setup.cfg b/etc/scallop-cli/setup.cfg
index 0c4d0ed..412df7d 100644
--- a/etc/scallop-cli/setup.cfg
+++ b/etc/scallop-cli/setup.cfg
@@ -1,6 +1,6 @@
 [metadata]
 name = scallop
-version = 0.2.4
+version = 0.2.5
 author = Ziyang Li
 author_email = liby99@seas.upenn.edu
 description = Scallop CLI
diff --git a/etc/scallopy/Cargo.toml b/etc/scallopy/Cargo.toml
index 41afa98..f789760 100644
--- a/etc/scallopy/Cargo.toml
+++ b/etc/scallopy/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scallopy"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2018"
 
 [lib]
diff --git a/etc/sclc/Cargo.toml b/etc/sclc/Cargo.toml
index 350df36..58ac0d3 100644
--- a/etc/sclc/Cargo.toml
+++ b/etc/sclc/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "sclc-core"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <liby99@icloud.com>"]
 edition = "2018"
 
diff --git a/etc/scli/Cargo.toml b/etc/scli/Cargo.toml
index 1e83a1a..9cc6200 100644
--- a/etc/scli/Cargo.toml
+++ b/etc/scli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scli"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <liby99@icloud.com>"]
 edition = "2018"
 
diff --git a/etc/sclrepl/Cargo.toml b/etc/sclrepl/Cargo.toml
index baa2c9d..8f89ed5 100644
--- a/etc/sclrepl/Cargo.toml
+++ b/etc/sclrepl/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "sclrepl"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Ziyang Li <liby99@icloud.com>"]
 edition = "2018"