Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
1.25
c1705593
·
problème passé
·
Jun 22, 2020
1.24
abc759bd
·
des commandes définies en trop
·
Dec 10, 2019
1.23
588f32be
·
Merge branch 'issue24'
·
Jan 13, 2019
1.22
8eee8529
·
on release aujourd'hui
·
Dec 05, 2018
1.21
c9115675
·
Merge branch 'issue22'
·
Nov 17, 2018
1.20
6fce2a80
·
tester si : est un shorthand avant de le desactiver (sinon message d'erreur et...
·
Jul 31, 2018
1.19
6a8cb02a
·
Merge branch 'pre1.19'
·
Jul 29, 2018
1.18
67257b51
·
changes
·
Jul 21, 2018
1.17a
134ded6b
·
typo in the handbook
·
Jun 05, 2018
1.17
cccfa9ac
·
oups le CHANGES
·
Jul 01, 2017
1.16
d36256c8
·
je sais pas trop pourquoi, mais le précédent makefile me perdait le fichier .sty local
·
Sep 27, 2016
1.15
5af23137
·
oups de makefile qui dupliquait les pdf
·
Sep 10, 2016