Tags

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

v1.00

89de99e4 · Announce version 1.00 · Jul 31, 2022
```
Version 1.00, with associated videos ready
```
v0.99

8d59d02c · upload of semester's text · Jan 22, 2021
```
version for teaching in 2021-Spring
```
v0.92

5cf58f9b · make notes, bib and index small sized · Jan 12, 2020
```
Verson for teaching in 2020-Spring
```