Mentions légales du service

Tags

Tags give the ability to mark specific points in history as being important

core-gadt-with-equality-constraints

29cd2b1f · Change interface of letn. · Apr 26, 2023
20201104

9c62f5ec · CHANGES. · Nov 04, 2020
```
Release 20201104.
```
20201001

1f9ff4c1 · CHANGES. · Oct 01, 2020
```
Release 20201001.
```
20190924

d9e0d5f9 · Change a TODO item into an issue (#2). · Sep 24, 2019
```
Release 20190924.
```
20180405

b78ba13c · GNUmakefile fix. · Apr 05, 2018
```
Release 20180405.
```