git.pld-linux.org Git - packages/coq.git/search

]> git.pld-linux.org Git - packages/coq.git/search

projects / packages / coq.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2015-07-25	Jan Rękorajski	- updated BRs and files	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- add ocaml_opt bcond	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- up to 8.4pl5	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02	commit \| commitdiff \| tree
2014-04-30	Jan Rękorajski	- up to 8.4pl3	commit \| commitdiff \| tree
2013-05-14	Jan Rękorajski	- rel 2	commit \| commitdiff \| tree

The Coq Proof Assistant

This page took 0.025119 seconds and 3 git commands to generate.