| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must hav... |  Pierre Boutillier | 2014-12-17 |
| * | Remove bashisms |  glondu | 2010-01-28 |
| * | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch |  herbelin | 2009-04-08 |
| * | Gestion des espaces dans les noms + guess_coqlib sous Windows |  notin | 2009-02-11 |
| * | Remplacement de cp --parents par un script sh | notin | 2009-01-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/install.sh