Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Same for Fin | 2012-07-25 | |
* | Vectors takes advantage of pattern matching compiler fixup | 2012-05-11 | |
* | Coqide highligthing is back (done by gtksourceview). | 2012-05-02 | |
* | Remove support for "abstract typing constraints" that requires unicity of sol... | 2012-03-14 | |
* | Vector: missing injection lemmas and better impossible branches | 2012-02-29 | |
* | Vectors use a bit more the pattern matching compiler | 2011-12-07 | |
* | VectorDef.v takes benefit of dependencies being taken into account | 2011-11-21 | |
* | Vectors fully use implicit arguments | 2011-02-10 | |
* | Interp a definition with the implicit arguments of its local context | 2011-02-10 | |
* | Data structure telling implicits of local variables is a map in the | 2011-02-10 | |
* | First release of Vector library. | 2010-12-10 |