Tags

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

v3.2.0

dc11b02a · Adapted to base version 3.2 · Nov 02, 2023
```
v3.2.0
```
v3.1.0

ef0c8435 · Fix for translation of nullable string values and some refactoring · Jun 07, 2023
```
v3.1.0
```
v3.0.0

39b65802 · Restricted version of package regexp · Oct 11, 2022
```
v3.0.0
```
v2.1.0

97273d05 · Foreign HTML integrator changed to html2 · Dec 07, 2020
```
v2.1.0
```
v2.0.0

9e0c6581 · Update w.r.t. package contracts · Apr 30, 2019
```
v2.0.0
```
v0.3.2

6f93e9ce · Loading of proof files improved · Oct 31, 2018
```
v0.3.2
```
v0.3.1

2355d7e3 · docs updated · Jun 06, 2017
```
v0.3.1
```
v0.3.0

3b063673 · currypp packaged · Mar 30, 2017
```
v0.3.0
```
v0.0.3

3b063673 · currypp packaged · Mar 30, 2017
```
v0.0.3
```