diff --git a/CHANGES.md b/CHANGES.md
index 6bbd9fb66b15354b117fc70191d1213751152087..d7e873a32adf1b66107648047b4c0878018d3515 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,7 @@
+## Release 2025.02
+  * Partial support for existential quantifier
+  * Fixes various bugs
+
 ## Release 2024.05
   * Build artifacts for both Eclipse 5.10 and 7.0.45
   * Recognize (X+Cst)^2 patterns
diff --git a/Makefile b/Makefile
index 6652798681e9ab580891b63829359bee89962423..d79d1b2e82b3565ec350728b439d9b2cce03876b 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ build_all: v5-build v7-build
 VERSION := $(shell cat version)
 
 show_version:
-	echo "version file contains: $(VERSION)"
+	@echo "version file contains: $(VERSION)"
 
 # ==================================================
 # CONFIGURATION
diff --git a/README.md b/README.md
index fe93563235b53d285578e0b1611b7df59cbc1a9c..681126f08dfd86622ee4ff01ea4b56239e2f4ec2 100644
--- a/README.md
+++ b/README.md
@@ -60,12 +60,33 @@ compiler but also mingw for the C part. Use `ocaml-env` to setup the
 environement for the compilation. Then the compilation is the same
 than for linux.
 
+## Making a release
+
+To make a release, the `RELEASE_TOKEN` environment variable must be
+set to a token generated by Gitlab and associated with your account
+(the one in the example is invalid):
+
+````
+export RELEASE_TOKEN=glptt-0123456789abcdef
+````
+
+- Update `version`, using the `YYYY.MM` format (Y=year, M=month).
+- Update `CHANGES.md` by adding a section in front of the current
+  ones. This file is processed by `changelog.sed`, which contains
+  additional comments about the subset of markdown understood by the
+  script.
+- Commit all changes.
+- Push to different branch to create a merge request
+- Review, fix and eventually merge it
+- Locally, pull from `origin/master` to `master`
+- Tag the commit with preferably the same value as `version`, ie.
+  `YYYY.MM` (there may be a suffix if necessary).
+- Execute `make release` and confirm.
+
 ## Remarks
 
-`Bin/` and `Src/` directories are copied from their respective
-repositories using the `release_colibri_opensource.sh` script found in
-`gatel/Src`'s original repository. They should be considered read-only
-here.
+The `Src/` directory is copied nightly from its original repository.
+It should be considered read-only here.
 
 ## LICENCE
 
diff --git a/version b/version
index 66d02db3f2339eb84fafa3e1f62782cecee5d924..5c27e6564451889e92008a29b75e19d4b8f2a1ea 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-2024.05
+2025.02