aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/tactic_printer.mli
Commit message (Expand)AuthorAge
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17