]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8791fd) | 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)
commitbda4b3ee9d66b253b258da06cea8b801924b2fe7
tree1f43d94cf87eb3903c13f343dfdf668d5f95c4f4tree | snapshot
parentf8791fd4e018c691d1b22a4fe748bc57f79f1b89commit | diff
fixed the pretty (notation aware) printer
matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.