]> matita.cs.unibo.it Git - helm.git/commit
new getter, logger, and the hell
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2004 12:03:40 +0000 (12:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2004 12:03:40 +0000 (12:03 +0000)
commitfe1e7e151af9690f312259a4c1c969a1388bee5f
tree42bf551529a8ad400c5a6a011025a7fe0ee3c185
parent788038150dc033d477c105a070e6b9cef524161f
new getter, logger, and the hell
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/gTopLevel/batchParser.ml
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/invokeTactics.ml
helm/gTopLevel/invokeTactics.mli
helm/gTopLevel/oldDisambiguate.ml
helm/gTopLevel/oldDisambiguate.mli
helm/gTopLevel/regtest.ml
helm/gTopLevel/testlibrary.ml