From 0476fbec66e99750abe9d60c3aa9cb9a52189bea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Fri, 18 Mar 2022 10:37:41 +0100 Subject: [PATCH] prepare release 2.2.0 --- AUTHORS.md | 8 ++++---- CHANGES.md | 3 ++- README.md | 1 + RELEASE.md | 5 +++-- 4 files changed, 10 insertions(+), 7 deletions(-) diff --git a/AUTHORS.md b/AUTHORS.md index aa2bdc88c..b19eb7258 100644 --- 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 index 180922c9b..ea921d1a0 100644 --- 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 index 130b0a73e..47fc524ac 100644 --- 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 index a27a2e032..401f5d63d 100644 --- 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