Mentions légales du service

This is an archived project. Repository and other project resources are read-only.

Tags

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

20220112

e0c4124c · Fix [make opam]. · Jan 12, 2022
```
Release 20220112.
```
20220102

612a3267 · Add [make undo]. · Jan 03, 2022
```
Release 20220102.
```
20211215

7c40f7f0 · Fix .gitattributes so that *.opam is part of the .tar.gz archive. · Dec 15, 2021
```
Release 20211215.
```
20180607

1840dac1 · add .gitignore · May 30, 2018
```
MoSel release for ICFP'18
```