]> matita.cs.unibo.it Git - helm.git/commit
moved initial (i.e. empty) lexiconEngine status to lexiconEngine from
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 22:39:47 +0000 (22:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 22:39:47 +0000 (22:39 +0000)
commit2d2a35723bd9649be36598fd98520919fc628e48
tree55fae23e51547d80391ecc5d81c9f18313af9f39
parent49f8a041ca862b3fb93c277737c2e7aa02bc4b4e
moved initial (i.e. empty) lexiconEngine status to lexiconEngine from
lexiconSync
components/grafite_parser/cicNotation2.ml
components/lexicon/lexiconEngine.ml
components/lexicon/lexiconEngine.mli
components/lexicon/lexiconSync.ml
components/lexicon/lexiconSync.mli