Tags

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

2021.02.1

cd9e106f · macOS DMG installer: explain usage in README_macOS.md · Apr 09, 2021

Release: Coq version 2021.02.1
2021.02.0

6a30a149 · Improve messages in the snap creation form · Feb 26, 2021
```
Coq Platform 2021.02.0 for Coq 8.13.1
```
v8.12.2.0

67dd0221 · Added opam packages for coq and coqide 8.12.2 (not yet upstream in the · Dec 15, 2020
```
Release 8.12.2.0
```
v8.12.1.0

23282aed · Minor editorial changes to ReadMe files · Dec 14, 2020
v8.12.0+beta1

1dfaf7c6 · Added patch for OCaml 4.07.1 MinGW source build · Sep 24, 2020
v8.12.0.alpha3

85f9bdeb · Changed version number to 8.12.0.alpha3 · Aug 10, 2020
v8.11.2.alpha3

dd0e7285 · Moved opam dependency on compiled schemas from gtk3 to gtksourceview3 (cause of cyclic dependency) · Aug 10, 2020
v8.12.0.alpha2

7220b475 · Updated version number in Readme to 8.12.0.alpha2 · Jul 30, 2020
v8.12.0.alpha1

fddecdb7 · Merge pull request #8 from MSoegtropIMC/windows-8.12.0 · Jul 30, 2020