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	- rel 1 auto/th/coq-8_3pl1-1	blob \| commitdiff \| raw
2012-06-24	Jan Rękorajski	- package installed docs	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- TODO and proper explanation why tests fail	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- tests bcond	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- moved emacs and latex stuff to separate packages	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- updated files	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- more texlive BR	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- more latex deps	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- BR texlive-latex-ams	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 8.3pl1	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 8.3pl1	blob \| commitdiff \| raw \| diff to current
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

RSS Atom

This page took 0.196972 seconds and 31 git commands to generate.