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-27	Jakub Bogusz	- updated to 8.4pl6	commit \| commitdiff \| tree
2012-06-24	Jakub Bogusz	- pl, missing dirs	commit \| commitdiff \| tree

The Coq Proof Assistant

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