Tags

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

v2.0.0

727a851d · Fixes for testing this package (call of Agda system removed due to the... · Aug 10, 2022
```
v2.0.0
```
v3.0.0

903a472b · Fixes for testing this package (call of Agda system removed due to the... · Aug 10, 2022
```
v3.0.0
```
v0.0.2

3c68a979 · Typo corrected · Nov 06, 2017
```
v0.0.2
```
v0.0.1

6e72bc37 · Manual extended with main.tex · Mar 28, 2017
```
v0.0.1
```