On Mon, 26 Jan 2004, Piotr Rudnicki wrote:
That thought crossed my mind, however, I was not connected to the
Internet at the time. Maybe mmlquery should be distributed as a
standalone utility. Several GBs are no sweat these days.
Yes, I think you can download it already now from Grzegorz's pages,
though I do not know how user-friendly the installation currently is.
We have been working on integrating some mmlquery functionality with the
Mizar mode for Emacs, and I think the first version is not far from
being released - the additional data would than be cca 50 MB I think.
Josef