projects
/
packages
/
coq.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
- rel 1
2012-06-24
Jan Rękorajski
- rel 1
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- package installed docs
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- TODO and proper explanation why tests fail
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- tests bcond
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- moved emacs and latex stuff to separate packages
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- updated files
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- more texlive BR
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- more latex deps
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- BR texlive-latex-ams
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- 8.3pl1
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- icon for coqide desktop entry
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- desktop file for coqide
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- updated to 8.3pl1
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- 8.3pl1
commit
|
commitdiff
|
tree
2012-06-24
Arkadiusz Miśkiewicz
- drop obsolete files
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- added TODO
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- 8.1pl4
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- work around stupid detection of lablgtk2
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
outdated
commit
|
commitdiff
|
tree
2012-06-24
Elan Ruusamäe
- tabs in preamble
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- converted to UTF-8
commit
|
commitdiff
|
tree
2012-06-24
Arkadiusz Miśkiewicz
- kill Icon: field (support for these is obsolete says...
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- fix building with lablgtk2 2.6
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- official build fix for ocaml 3.09
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
outdated
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- release 2
commit
|
commitdiff
|
tree
2012-06-24
aredridel
- finish update to 8.0pl2
commit
|
commitdiff
|
tree
2012-06-24
aredridel
- start up to 8.0pl2
commit
|
commitdiff
|
tree
2012-06-24
paladine
- cosmetics
commit
|
commitdiff
|
tree
2012-06-24
Jakub Bogusz
- pl, missing dirs
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- go ahead and edit it ;)
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- needed to build coq with ocaml 3.07
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- add patch needed to build with ocaml 3.07
commit
|
commitdiff
|
tree
2012-06-24
Jan Rękorajski
- initial revision
commit
|
commitdiff
|
tree
This page took
0.084267 seconds
and
3
git commands to generate.