| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-02 | Move CoqIDE to its own folder | Maxime Dénès |
| 2016-04-29 | Reduce ide/coq.png to 256x256. | Guillaume Melquiond |
| 2014-07-24 | Make MacStore like coqide more | Pierre Boutillier |
| 2010-05-03 | ocamldoc related fixes | pboutill |
| 2010-04-29 | "make source-doc" builds documentation of mli in html and pdf at | pboutill |
| 2008-06-27 | Logo Coq dans coqide | notin |
| 2008-05-29 | transparent background | barras |
| 2008-05-28 | Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de | herbelin |
| 2007-09-04 | fixed icons | barras |
| 2003-07-16 | coqide: fixed problems with -R -I and coqide interaction | monate |
| 2003-03-04 | belle image de coq (en png en plus) | marche |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
