]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bd485b) | patch
library-auto removed from tests (too slow even in native code)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 May 2007 20:25:44 +0000 (20:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 May 2007 20:25:44 +0000 (20:25 +0000)
commit50169f9c6b58f49ddbc509060fa86db425e4773f
tree9d39a49d1dfe84fb64e71dc4ee574cfd049bbcbetree | snapshot
parent6bd485b5c69ab84ff70afc377a18456bb7860ffccommit | diff
library-auto removed from tests (too slow even in native code)
matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.