]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de9926d) | patch
test/a.ma => tests/ng_tactics.ma, with nassert here and there
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Apr 2009 14:00:41 +0000 (14:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Apr 2009 14:00:41 +0000 (14:00 +0000)
commit901ee87aad4ae08a19399f8bf925dfdffd92aee1
tree885018d79adb93daf94049924ca531b9f59e4096tree | snapshot
parentde9926defa9fdb4aaebbad4f4131b7704602597bcommit | diff
test/a.ma => tests/ng_tactics.ma, with nassert here and there
helm/software/matita/tests/a.ma [deleted file] blob | history
helm/software/matita/tests/ng_tactics.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.