]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf8a6aa) | patch
another step roward the removal of do_tests.sh
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Mar 2006 14:02:42 +0000 (14:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Mar 2006 14:02:42 +0000 (14:02 +0000)
commitbfb097be2d5aaad276ac8f7d4d82d05c244bc0e7
treecdfed04269b5e9d7c4e8a8eda30a84cd03951e20tree | snapshot
parentbf8a6aa5782c9b539ac6cf11ee68f20b7d2c83a6commit | diff
another step roward the removal of do_tests.sh
matita/scripts/README diff | blob | history
matita/scripts/insert.awk [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.