]> matita.cs.unibo.it Git - helm.git/commit
minor fixes (-nodb works again)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Dec 2005 10:43:14 +0000 (10:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Dec 2005 10:43:14 +0000 (10:43 +0000)
commit114ee592d3da9b49abfd4c1b186cba1e170075dc
treebb08ebc7047600cf382ffff30f2f93ce4af26a95
parenta229a988dceead9ffe3ea593fcf98e68a16582cf
minor fixes (-nodb works again)
helm/ocaml/lexicon/lexiconEngine.ml
helm/ocaml/library/libraryClean.ml