retitle 321332 ITA: bibtool -- A tool for manipulating BibTeX data bases
owner 321332 !
thanks
I intend to take this one. If I have not made an upload by
mid-September, nor added new information here, you can assume that
I changed my mind and/or forgot all about it.
--
Henning Makholm "It will be useful even at this
early stage to review briefly the main
features of the universe as they are known today."