]> matita.cs.unibo.it Git - helm.git/commit
- added testlibrary .opts
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 17:22:54 +0000 (17:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 17:22:54 +0000 (17:22 +0000)
commit16f4538e0eb7deba0e145298aa8fef847d8a51f9
tree80625e2789a0b0c4a75c9767aff94b6c07fcd208
parentde5c6a62937a7448c2258ad736eaf8c30ca68e6e
- added testlibrary .opts
- build just gTopLevel per default
helm/gTopLevel/Makefile
helm/gTopLevel/testlibrary.ml