projects
/
packages
/
coq.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
packages/coq.git
2014-11-16
Jan Rękorajski
- rebuild with ocaml 4.02
auto/th/coq-8.4pl3-2
commit
|
commitdiff
|
tree
|
snapshot
2014-04-30
Jan Rękorajski
- up to 8.4pl3
auto/th/coq-8.4pl3-1
commit
|
commitdiff
|
tree
|
snapshot
2013-05-14
Jan Rękorajski
- rel 2
auto/th/coq-8.3pl1-2
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- rel 1
auto/th/coq-8_3pl1-1
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- package installed docs
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- TODO and proper explanation why tests fail
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- tests bcond
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- moved emacs and latex stuff to separate packages
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- updated files
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- more texlive BR
commit
|
commitdiff
|
tree
|
snapshot
2012-06-24
Jan Rękorajski
- more latex deps
commit
|
commitdiff
|
tree
|
snapshot
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
This page took
0.054734 seconds
and
4
git commands to generate.