descriptionThe Coq Proof Assistant
last changeMon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000)
shortlog
2017-06-05 Jan Rękorajski- up to 8.6 master auto/th/coq-8.6-1
2017-06-05 Jan Rękorajski- rebuild with ocaml 4.04.1 auto/th/coq-8.4pl6-3
2016-03-21 Jan Rękorajski- release 2 (by relup.sh) auto/th/coq-8.4pl6-2
2015-07-27 Jakub Bogusz- updated to 8.4pl6 auto/th/coq-8.4pl6-1
2015-07-25 Jan Rękorajski- rel 2 auto/th/coq-8.4pl5-2
2015-07-25 Jan Rękorajski- updated BRs and files
2015-07-25 Jan Rękorajski- add ocaml_opt bcond
2014-11-16 Jan Rękorajski- up to 8.4pl5 auto/th/coq-8.4pl5-1
2014-11-16 Jan Rękorajski- rebuild with ocaml 4.02 auto/th/coq-8.4pl3-2
2014-04-30 Jan Rękorajski- up to 8.4pl3 auto/th/coq-8.4pl3-1
2013-05-14 Jan Rękorajski- rel 2 auto/th/coq-8.3pl1-2
2012-06-24 Jan Rękorajski- rel 1 auto/th/coq-8_3pl1-1
2012-06-24 Jan Rękorajski- package installed docs
2012-06-24 Jan Rękorajski- TODO and proper explanation why tests fail
2012-06-24 Jan Rękorajski- tests bcond
2012-06-24 Jan Rękorajski- moved emacs and latex stuff to separate packages
...
tags
6 months ago auto/th/coq-8.6-1
6 months ago auto/th/coq-8.4pl6-3
20 months ago auto/th/coq-8.4pl6-2
2 years ago auto/th/coq-8.4pl6-1
2 years ago auto/th/coq-8.4pl5-2
3 years ago auto/th/coq-8.4pl5-1
3 years ago auto/th/coq-8.4pl3-2
3 years ago auto/th/coq-8.4pl3-1
4 years ago auto/th/coq-8.3pl1-2
5 years ago auto/th/coq-8_3pl1-1
5 years ago auto/ac/coq-8_0pl2-2
heads
6 months ago master
This page took 0.423128 seconds and 7 git commands to generate.