aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/pptactic.mli
Commit message (Expand)AuthorAge
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Removing the dependency of every level of tactic ATSs on glob_tactic_expr.Gravatar ppedrot2013-11-10
* Adding genarg printer to debugger.Gravatar ppedrot2013-06-19
* Uniformizing generic argument types.Gravatar ppedrot2013-06-06
* Pptactic.pr_raw_tactic is now without env argumentGravatar letouzey2013-03-14
* Clean-up : removal of Proof_type.tactic_exprGravatar letouzey2012-10-06
* Adding a nominal typing layer to Metasyntax in order to clarifyGravatar ppedrot2012-10-04
* Updating headers.Gravatar herbelin2012-08-08
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29