We now have a new importer that uses the texlive.tlpdb. It still needs a lot of work, but it should already be more useful than the previous importer.
Closing.

--
Ricardo



Reply via email to