| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Keep obligation source information in Program |  msozeau | 2011-06-30 |
| * | Remove compile-command pragmas for emacs |  letouzey | 2010-05-19 |
| * | Here comes the commit, announced long ago, of the new tactic engine. |  aspiwack | 2010-04-22 |
| * | Fix splitting evars tactics and stop dropping evar constraints when | msozeau | 2010-03-15 |
| * | Fix sort_dependencies for good, maintaining the initial order. | msozeau | 2010-02-16 |
| * | Fix [Existing Class] impl and add documentation. Fix computation of the | msozeau | 2010-02-10 |
| * | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau | 2009-10-28 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Experimental support for automatic destruction of recursive calls and | msozeau | 2009-04-08 |
| * | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey | 2009-03-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |