]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5831a52) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Apr 2007 14:32:01 +0000 (14:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Apr 2007 14:32:01 +0000 (14:32 +0000)
commitef5ae17d3b2dc045ac27bd2e59c89ffc85b4bd9c
tree630886450c9d4a6698eda211472dbc338df8a1d2tree | snapshot
parent5831a523c30368128dc7337835bc1e694b2ff095commit | diff
...
matita/tests/pirrel.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.