index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
plugins
/
cc
Commit message (
Expand
)
Author
Age
*
Noise for nothing
pboutill
2012-03-02
*
Added a DEPRECATED flag in declaration of options. For now only two options a...
ppedrot
2011-11-24
*
Ccalgo, Ccproof: multiple generic Hashtbl on constr and term replaced by Cons...
puech
2011-07-29
*
Ccproof: generic equality on term replaced by term_equal
puech
2011-07-29
*
Remove some occurrences of "open Termops"
glondu
2010-09-28
*
commit 13400 and 13409.
soubiran
2010-09-13
*
fixed bug #2375 (congruence)
corbinea
2010-09-02
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Here comes the commit, announced long ago, of the new tactic engine.
aspiwack
2010-04-22
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Improved parameterization of Coq:
herbelin
2009-08-02
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20