prepare release 2.2.0

Deducteam · Mar 18, 2022 · 0476fbe · 0476fbe
1 parent fe4481f
commit 0476fbe
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 7 deletions.
diff --git a/AUTHORS.md b/AUTHORS.md
@@ -11,15 +11,15 @@ Past Contributors (in alphabetical order)
 - Emilio Gallego (2018-2021)
 - Aurélien Castre (2021)
 - Yann Leray (2021)
+- Diego Riverio (2020)
 - Amélie Ledein (2020)
-- Yacine El Haddad (2019)
-- Guillaume Genestier (2019)
 - François Lefoulon (2020)
 - Rodolphe Lepigre (2017-2020)
 - Rehan Malak (2019-2020)
+- Yacine El Haddad (2019)
+- Guillaume Genestier (2019)
 - Houda Mouzoun (2019)
 - Aristomenis-Dionysios Papadopoulos (2019)
-- Christophe Raffalli (2017-2018)
-- Diego Riverio (2020)
 - Franck Slama (2019)
 - Jui-Hsuan Wu (2019)
+- Christophe Raffalli (2017-2018)
diff --git a/CHANGES.md b/CHANGES.md
@@ -3,7 +3,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
-## Unreleased
+## 2.2.0 (2022-03-18)
 
 ### Added
 
@@ -18,6 +18,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 - Do not print empty term environments `.[]`.
 - Allow users to use the pattern variables `$0`, `$1`, etc. and internally name pattern variables by their index.
 - Fixed debug flag printing in Pretty.
+- Compatibility with Cmdliner 1.1.0 and Bindlib 6.0.0.
 
 ### Removed
 

diff --git a/README.md b/README.md
@@ -11,6 +11,7 @@ Questions can be asked on the following
 [forum](https://github.com/Deducteam/lambdapi/discussions).
 
 Examples of developments made with Lambdapi:
+- [tutorial](https://raw.githubusercontent.com/Deducteam/lambdapi/master/tests/OK/tutorial.lp)
 - [logic definitions](https://github.com/Deducteam/lambdapi/tree/master/Logic) installed with Lambdapi
 - [inductive-recursive type definition](https://github.com/Deducteam/lambdapi/blob/master/tests/OK/indrec.lp)
 - [inductive-inductive type definition](https://github.com/Deducteam/lambdapi/blob/master/tests/OK/indind.lp)

diff --git a/RELEASE.md b/RELEASE.md
@@ -13,9 +13,10 @@ TODO list for a new release on Github
 
 - repeat (dune-release distrib; fix problems)
 
-- commit and push
+- git add and commit
 
-- to delete an existing tag: git tag -d $tag; git push --delete origin $tag
+- to delete a local tag: git tag -d $tag
+- to delete a remote tag: git push --delete origin $tag
 
 - dune-release tag