]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee1df68) | patch
First version of PTS
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 12:25:43 +0000 (12:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 12:25:43 +0000 (12:25 +0000)
commited76333464d49a3cd55ca2adb05b0afdbc8486bd
tree29e155b3e8c6b0887f399c930578e8ee79cf7140tree | snapshot
parentee1df68d10351f30ea591ccc2173197d99e307cccommit | diff
First version of PTS
helm/software/matita/nlibrary/PTS/gpts.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.