Mentions légales du service

Tags

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

0.5

b3512853 · updated CHANGES and version · May 16, 2022
```
v0.5
```
0.4

78ceb6ab · added functors to create classic ordered types, non-dependent maps and sets,... · Apr 19, 2022
```
v0.4
```
0.3

26456985 · fixed signature of update + bumped version to 0.3 · Mar 02, 2022
```
0.3
```
0.2

30974da7 · fixed git tag · Feb 21, 2022
```
version 0.2
```
0.1

714e3069 · added changelog · Feb 21, 2022
```
version 0.1
```