index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
subtac
Age
Commit message (
Expand
)
Author
2009-05-16
Support for definition hooks in subtac.
msozeau
2009-04-28
More efficient handling of evars in Program Fixpoint commands.
msozeau
2009-04-24
Backporting 12080 (fixing bug #2091 on bad rollback in the "where"
herbelin
2009-04-24
- New cleaning phase for the entry points of pretyping.ml
herbelin
2009-04-16
Better Requires in Classes. Fix bug #2093: the code does not require
msozeau
2009-04-08
Experimental support for automatic destruction of recursive calls and
msozeau
2009-04-08
Fix bug #2083 for good: verify that the measure and relation are
msozeau
2009-04-08
Some dead code removal + cleanups
letouzey
2009-04-07
Fixes in Program:
msozeau
2009-03-28
Rewrite of Program Fixpoint to overcome the previous limitations:
msozeau
2009-03-26
Fixes in Program well-founded definitions:
msozeau
2009-03-20
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
