Hi Sebastian,
I think you are looking into this topic for quite some time already. You
must have compared some entries between those two sources for their
quality, as well as the quantity of the entries. I have not... that is why
i trust your suggestion and decision :)
Best regards
Michael
Sebastian Humenda <shumenda@xxxxxx> schrieb am Fr., 8. Mai 2020, 21:11:
Hi all
We have shipped eng-deu and deu-eng for a long time now in an unmodified
state. For a long time, the source, as imported from the University of
Chemnitz (TUC), has been one of the best with the given licence. However,
the
original script to import the dictionary is gone I have failed multiple
times
now to write a new importer. The reason is the blurry description and the
even
more irregular encoding of all headwords. "DING" is Dictionary nicer grep
--
and this is how the format really looks like.
Instead of further investing time, I would propose to replace this
dictionary
with the ones provided by WikDict (thanks to Karl). This is not a solution
for
all of our dictionaries. There is a value in having a variety of different
input sources for dictionaries, but for this particular one, I would say
that
we should replace it.
I would appreciate your feedback.
Cheers
Sebastian
