Permalink
Browse files

Ajout de pprint

  • Loading branch information...
1 parent 20f9c07 commit d51d24956efe4c6fb7cd2c46ac0e167346b0953b @braibant committed Mar 22, 2013
View
7 Make
@@ -1,3 +1,10 @@
-R . Invert
+pprint/src/PPrintCombinators.ml
+pprint/src/PPrintOCaml.ml
+pprint/src/PPrintEngine.ml
+pprint/src/PPrintRenderer.ml
+pprint/src/PPrint.ml
+pprint/src/PPrintTest.ml
+print.ml
invert.ml4
test.v
View
@@ -1,3 +1,7 @@
+module P = struct
+ open Print
+end
+
let pp_constr fmt x = Pp.pp_with fmt (Printer.pr_constr x)
let pp_constr_env env fmt x = Pp.pp_with fmt (Termops.print_constr_env env x)
let pp_gl fmt x = Pp.pp_with fmt (Printer.pr_goal x)
View
@@ -0,0 +1,3 @@
+PPrint was written by François Pottier and Nicolas Pouillard, with
+contributions by Yann Régis-Gianas, Gabriel Scherer, and Jonathan
+Protzenko.
View
@@ -0,0 +1,2 @@
+2013/01/31
+First official release of PPrint.
Oops, something went wrong.

0 comments on commit d51d249

Please sign in to comment.