Mentions légales du service

GitLab upgrade completed. Current version is 18.1.6 - https://about.gitlab.com/releases/2025/06/19/gitlab-18-1-released/

Tags

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

20171013

290a3f9d · Remove the OCaml version check. · Oct 13, 2017
```
Release 20171013.
```
20170712

f91d51b5 · Remove the large file english.bib. · Jul 12, 2017
```
Release 20170712.
```
20170607

9d1daf04 · Fix [make package] to not include [src/installation.ml]. · Jun 07, 2017
```
Release 20170607.
```
20170509

dc36f23b · CHANGES. · May 09, 2017
```
Release 20170509.
```
20170418

7a457321 · GNUmakefile fix. · Apr 18, 2017
```
Release 20170418.
```
compose

347028ad · Some changes which I forgot to commit under svn in the "compose" branch. · Oct 03, 2014
```
Last version of the experimental Composer.
```
20141215

79781bc7 · Updated bench/bad to succeed again. · Dec 15, 2014
```
Release 20141215.
```
last309

54b28a0e · Updated build.sh and test.sh to fail more gracefully · Dec 08, 2014
```
This is the last version that compiles with ocaml 3.09.
```