teidict2dicttex teidict2dicttex Tool to convert XML-TEI dictionaries into dicttex ones Autor José João Almeida jj@di.uminho.pt dictionary