Mentions légales du service

GitLab upgrade completed. Current version is 18.10.6
https://docs.gitlab.com/releases/18/gitlab-18-10-released/

Tags

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

v4.1.13

d4a9182b · hotfix bump · Jun 26, 2018
```
Version 4.1.13
```
v4.1.12

63201550 · merge from develop v4.1.12 · Jun 26, 2018
```
Version 4.1.12
```
v4.1.11

3303ebed · bump · Jun 26, 2018
```
Version 4.1.11
```
v4.1.10

f13db88f · Version 4.1.10 ready for GitLab · Jun 26, 2018
```
Version 4.1.10
```
v4.1.9

76b1008b · Merge branch 'hotfix/dreal' · May 07, 2018
```
v4.1.9
```
help

2bc70f4f · timeout magic redone · May 04, 2018
robustness_again

a5f6a7a1 · Merge branch 'hotfix/robustness_again' · May 04, 2018
```
v4.1.8
```
v4.1.8

a5f6a7a1 · Merge branch 'hotfix/robustness_again' · May 04, 2018
v4.1.7

257ca6d5 · Merge branch 'hotfix/ode_simplification' · Mar 19, 2018
ode_simplification

e2130061 · Merge branch 'hotfix/ode_simplification' · Mar 19, 2018
```
ode_simplification
```
make_web

00c28deb · Merge branch 'hotfix/make_web' · Mar 15, 2018
```
doc to web
```
v4.1.6

00c28deb · Merge branch 'hotfix/make_web' · Mar 15, 2018
```
doc to web
```
non_constant_param_sbml

b41e6c24 · Merge branch 'hotfix/non_constant_param_sbml' · Mar 12, 2018
```
bugfix SBML
```
v4.1.5

b41e6c24 · Merge branch 'hotfix/non_constant_param_sbml' · Mar 12, 2018
```
bugfix SBML
```
missing_completion

be881fef · Merge branch 'hotfix/missing_completion' · Mar 06, 2018
```
v4.1.4
```
v4.1.4

be881fef · Merge branch 'hotfix/missing_completion' · Mar 06, 2018
```
v4.1.4
```
smooth_curves

5c5ec4b6 · Merge branch 'hotfix/smooth_curves' · Mar 05, 2018
```
v4.1.3
```
v4.1.3

5c5ec4b6 · Merge branch 'hotfix/smooth_curves' · Mar 05, 2018
```
v4.1.3
```
v4.1.2

0d5bab27 · bump version, update make quick deps, etc. · Feb 22, 2018
```
merge
```
v4.1.1

c1d4b5de · Merge branch 'hotfix/v4.1.1' · Feb 20, 2018
```
Hotfix examples
```

1
2
3
4
5
6
7