]> matita.cs.unibo.it Git - helm.git/commit
Pretty printing of ocaml files slightly improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Feb 2013 17:35:10 +0000 (17:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Feb 2013 17:35:10 +0000 (17:35 +0000)
commit59dfa0b85ba8a74f4b5c175f72ac7ebeed6fca7f
tree7cd0e8a46cb256ec747f5f02d718cf46d5dea5d8
parent18c1584b94ad85301a95b69fe0a8fa8e02b61648
Pretty printing of ocaml files slightly improved.
matita/components/ng_extraction/common.ml
matita/components/ng_extraction/common.mli
matita/components/ng_extraction/ocaml.ml
matita/components/ng_extraction/ocamlExtraction.ml