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

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

projects / packages / coq.git / shortlog

2012-06-24	Jan Rękorajski	- BR texlive-latex-ams	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- 8.3pl1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- icon for coqide desktop entry	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- desktop file for coqide	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- updated to 8.3pl1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- 8.3pl1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Arkadiusz Miśkiewicz	- drop obsolete files	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- added TODO	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- 8.1pl4	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- work around stupid detection of lablgtk2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	outdated	commit \| commitdiff \| tree \| snapshot
2012-06-24	Elan Ruusamäe	- tabs in preamble	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- converted to UTF-8	commit \| commitdiff \| tree \| snapshot
2012-06-24	Arkadiusz Miśkiewicz	- kill Icon: field (support for these is obsolete says...	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- fix building with lablgtk2 2.6 auto/ac/coq-8_0pl2-2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- official build fix for ocaml 3.09	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	outdated	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- release 2	commit \| commitdiff \| tree \| snapshot
2012-06-24	aredridel	- finish update to 8.0pl2	commit \| commitdiff \| tree \| snapshot
2012-06-24	aredridel	- start up to 8.0pl2	commit \| commitdiff \| tree \| snapshot
2012-06-24	paladine	- cosmetics	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jakub Bogusz	- pl, missing dirs	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- go ahead and edit it ;)	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- needed to build coq with ocaml 3.07	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- add patch needed to build with ocaml 3.07	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- initial revision	commit \| commitdiff \| tree \| snapshot

The Coq Proof Assistant

RSS Atom

This page took 0.035468 seconds and 4 git commands to generate.