We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 16644a4 commit 33348d8Copy full SHA for 33348d8
CHANGES.md
@@ -3,7 +3,7 @@ All notable changes to this project will be documented in this file.
3
The format is based on [Keep a Changelog](https://keepachangelog.com/),
4
and this project adheres to [Semantic Versioning](https://semver.org/).
5
6
-## Unreleased
+## 2.2.1 (2022-07-04)
7
8
### Added
9
@@ -13,9 +13,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
13
### Removed
14
15
- Logic directory since it is now available on the [Lambdapi Opam repository](https://github.com/Deducteam/opam-lambdapi-repository).
16
-
17
- Option --recompile.
18
+### Changed
19
+
20
+- Use short options in system commands to be POSIX compliant.
21
22
## 2.2.0 (2022-03-18)
23
24
0 commit comments