]> matita.cs.unibo.it Git - helm.git/commit
removed debug pps
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Sep 2008 07:56:27 +0000 (07:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Sep 2008 07:56:27 +0000 (07:56 +0000)
commit5c474bdfb28196a7dc6009addccb47c08925887b
tree3500272c7e8a23e5b558c701382d07e29fd2ecb0
parent31126ffda75cba3fbc6572d86e910c10940da46c
removed debug pps
helm/software/components/library/librarian.ml