Join/Login
Business Software
Open Source Software
For Vendors
Blog
About
More
Articles
Create
SourceForge Podcast
Site Documentation
Subscribe to our Newsletter
Support Request
For Vendors
Help
Create
Join
Login
Business Software
Open Source Software
SourceForge Podcast
Resources
Articles
Case Studies
Blog
Menu
Help
Create
Join
Login
Home
Browse
Coqtail
Git
Coqtail Git
Brought to you by:
gallais
,
jmadiot
,
ppedrot
,
sdailler
Summary
Files
Reviews
Support
Code
Git
Menu
▾
▴
Browse Commits
Fork
Merge Requests
0
Branches
master
Tree
[284b99]
master
/
Download Snapshot
History
HTTPS
git://
HTTPS access
File
Date
Author
Commit
administration
2011-11-06
mbonamy
[d830a5] graphes+avenir
beamer
2011-07-27
gallais
[bdd813] == slides == first bits of slides for thedu'11,...
depend
2012-07-24
gallais
[937614] Bug fix: clusters' names are now unique integers.
doc
2012-01-18
gallais
[d4b792] SOPA / PIPA + old modifications
img
2010-04-25
ppedrot
[243d39] quelques corrections
papers
2011-09-02
jmadiot
[8a3289] les slides de pim
rls
2012-01-11
gallais
[ddab03] Preparing the 2nd release. Should we try to fix...
src
2013-12-24
Jean-Marie Madiot
[0cd136] début de patches pour que ça compile chez moi
www
2012-04-15
jmadiot
[7b08e8] website: lagrange 4-s thm
.gitignore
2013-12-24
Pierre-Marie Pédrot
[8e46b0] Adding minimalistic git config files. People sh...
.mailmap
2013-12-24
Jean-Marie Madiot
[e64b12] updated .mailmap
LICENSE
2011-07-20
gallais
[4149b1] Adding a potential beamer theme for coqtail. Ad...
TODO
2012-01-18
gallais
[d4b792] SOPA / PIPA + old modifications
directions
2010-06-22
jmadiot
[bd92bb] DIRECTIONS FOR COQTAIL
gpl-3.0.txt
2011-07-20
gallais
[4149b1] Adding a potential beamer theme for coqtail. Ad...
lgpl-3.0.txt
2010-01-15
jmadiot
[cce056] Heritage de coquille. http://graal.ens-lyon.fr/...
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Submit