Skip to content
GitLab
Explore
Sign in
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