]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Apr 2010 17:49:30 +0000 (17:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Apr 2010 17:49:30 +0000 (17:49 +0000)
commitb9400f08599fa8c36ecf06ac347e966c42db72fc
treef4bac0ab929f1da10d9f3e9b7935007d1bf7ac98
parentc6de6147adbf650a444b81f0aaccc8cceeeb5b9b
...

From: tassi <tassi@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/TPTP.ma [new file with mode: 0644]
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/depends.dot