index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
plugins
/
quote
Commit message (
Expand
)
Author
Age
*
Removing a bunch of generic equalities.
ppedrot
2013-09-27
*
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2013-09-19
*
Replacing lists by maps in matching interpretation.
ppedrot
2013-06-05
*
Restrict (try...with...) to avoid catching critical exn (part 7)
letouzey
2013-03-13
*
Uniformization of the "anomaly" command.
ppedrot
2013-01-28
*
Modulification of identifier
ppedrot
2012-12-14
*
Remove some more "open" and dead code thanks to OCaml4 warnings
letouzey
2012-10-02
*
As r15801: putting everything from Util.array_* to CArray.*.
ppedrot
2012-09-14
*
Updating headers.
herbelin
2012-08-08
*
Kills the useless tactic annotations "in |- *"
letouzey
2012-07-05
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
place all files specific to camlp4 syntax extensions in grammar/
letouzey
2012-05-29
*
Pattern as a mli-only file, operations in Patternops
letouzey
2012-05-29
*
Noise for nothing
pboutill
2012-03-02
*
Quote: replaced various generic = on constr by eq_constr, destructors etc.
puech
2011-07-29
*
Quote: replaced generic = on constr by eq_constr
puech
2011-07-29
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
More {raw => glob} changes for consistency
glondu
2010-12-24
*
Simplify tactic(_)-bound arguments in TACTIC EXTEND rules
glondu
2010-09-30
*
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
*
In "simpl c" and "change c with d", c can be a pattern.
herbelin
2009-12-24
*
Opened the possibility to type Ltac patterns but it is not fully functional yet
herbelin
2009-12-24
*
Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...
letouzey
2009-12-09
*
Add a more general quote construction
glondu
2009-03-30
*
Fix some typos and spaces
glondu
2009-03-30
*
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