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

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

2012-06-24	Jan Rękorajski	- 8.3pl1	blob \| commitdiff \| raw
2012-06-24	Jan Rękorajski	- added TODO	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 8.1pl4	blob \| commitdiff \| raw \| diff to current
2012-06-24	Elan Ruusamäe	- tabs in preamble	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- converted to UTF-8	blob \| commitdiff \| raw \| diff to current
2012-06-24	Arkadiusz Miśkiewicz	- kill Icon: field (support for these is obsolete says...	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- release 2	blob \| commitdiff \| raw \| diff to current
2012-06-24	aredridel	- finish update to 8.0pl2	blob \| commitdiff \| raw \| diff to current
2012-06-24	aredridel	- start up to 8.0pl2	blob \| commitdiff \| raw \| diff to current
2012-06-24	paladine	- cosmetics	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- pl, missing dirs	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- go ahead and edit it ;)	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- add patch needed to build with ocaml 3.07	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- initial revision	blob \| commitdiff \| raw \| diff to current

The Coq Proof Assistant

This page took 0.101671 seconds and 20 git commands to generate.