aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.png
Commit message (Expand)AuthorAge
* Make MacStore like coqide moreGravatar Pierre Boutillier2014-07-24
* ocamldoc related fixesGravatar pboutill2010-05-03
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Logo Coq dans coqideGravatar notin2008-06-27
* transparent backgroundGravatar barras2008-05-29
* RĂ©organisation fenĂȘtre d'accueil CoqIDE et About; nouvelle image deGravatar herbelin2008-05-28
* fixed iconsGravatar barras2007-09-04
* coqide: fixed problems with -R -I and coqide interactionGravatar monate2003-07-16
* belle image de coq (en png en plus)Gravatar marche2003-03-04