Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updating headers. | 2012-08-08 | |
* | Kills the useless tactic annotations "in |- *" | 2012-07-05 | |
* | test suite update after r14808 | 2011-12-19 | |
* | Add a test for sorting all universes of stdlib | 2011-01-25 | |
* | Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in | 2010-09-18 | |
* | Updated all headers for 8.3 and trunk | 2010-07-24 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | Fixing xml theory file export (was not consistent with coqdoc file | 2009-11-26 |