Tags

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

20200619

716d731b · Release 20200619. · Jun 19, 2020
```
Release 20200619.
```
20200612

ebec9b8b · Release 20200612. · Jun 12, 2020
```
Release 20200612.
```
20200525

3f53737c · Release 20200525. · May 25, 2020
```
Release 20200525.
```
20200211

ad9297c0 · Release 20200211. · Feb 11, 2020
```
Release 20200211.
```
20200123

ffaca027 · Release 20200123. · Jan 23, 2020
```
Release 20200123.
```
20200121

65e38fbf · Release 20200121. · Jan 21, 2020
```
Release 20200121.
```
20190924

4c95e147 · Release 20190924. · Sep 24, 2019
```
Release 20190924.
```
20190626

9158c209 · Release 20190626. · Jun 26, 2019
```
Release 20190626.
```
20190620

d16d1b41 · Release 20190620. · Jun 20, 2019
```
Release 20190620.
```
20190613

3135b4bb · Release 20190613. · Jun 13, 2019
```
Release 20190613.
```
20181113

7e3e4ea8 · Release 20181113. · Nov 13, 2018
```
Release 20181113.
```
20181112

cd4b5a6f · Release 20181112. · Nov 12, 2018
```
Release 20181112.
```
20181026

93abc52d · Release 20181026. · Oct 26, 2018
```
Release 20181026.
```
20181025

32001a0e · Release 20181025. · Oct 25, 2018
```
Release 20181025.
```
20181006

bd369c17 · TODO. · Oct 06, 2018
```
Release 20181006.
```
20181005

c48822db · Add a few missing headers. · Oct 05, 2018
```
Release 20181005.
```
20180905

a252433e · When `--explain` is enabled, always create a fresh `.conflicts` file · Sep 05, 2018
```
Release 20180905.
```
20180703

585a789a · Changed the type of [with_poss] to take a pair of positions. · Jul 03, 2018
```
Release 20180703.
```
20180530

9c2be923 · Fix [demos/Makefile] to not require new Dune and not fail [make check]. · May 30, 2018
```
Release 20180530.
```
20180528

653300ee · TODO. · May 28, 2018
```
Release 20180528.
```