[Texmacs-dev] TeXmacs-1.0.1.16 available

[Joris van der Hoeven]

I already released version 1.0.1.16 today,
so that Dan Martens can play with it.
It will be announced officially on freshmeat on monday.

Dan: please submit a series of small patches on Savannah
for the changes you need to make in the TeXmacs sources.
As to the main part of your source code,
please send me a tarball and tell me where to unpack it.