]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 579d312) | patch
fixed the pretty (notation aware) printer
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 5 Apr 2007 13:15:51 +0000 (13:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 5 Apr 2007 13:15:51 +0000 (13:15 +0000)
commita46560b6efd6d66fdbe0ded0555e74ea93e46360
treef62a24051a553ffc93a804977c57ebb69b9c3dfctree | snapshot
parent579d312fed0670e7528e106d2df94d72a18ee277commit | diff
fixed the pretty (notation aware) printer
helm/software/matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.