Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Pptactic.pr_raw_tactic is now without env argument | 2013-03-14 | |
* | Split Tacinterp in 3 files : Tacsubst, Tacintern and Tacinterp | 2012-10-16 | |
* | Remove some more "open" and dead code thanks to OCaml4 warnings | 2012-10-02 | |
* | Updating headers. | 2012-08-08 | |
* | Added an indirection with respect to Loc in Compat. As many [open Compat] | 2012-06-22 | |
* | Getting rid of Pp.msgnl and Pp.message. | 2012-06-01 | |
* | place all files specific to camlp4 syntax extensions in grammar/ | 2012-05-29 | |
* | Basic stuff about constr_expr migrated from topconstr to constrexpr_ops | 2012-05-29 | |
* | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr | 2012-05-29 | |
* | Vernacexpr is now a mli-only file, locality stuff now in locality.ml | 2012-05-29 | |
* | migrate g_obligations.ml4 in parsing | 2012-04-26 |