[Texmacs-dev] TeXmacs-1.0.0.9 available

[Joris van der Hoeven]

Hi,

I just made TeXmacs-1.0.0.9 available with some
new constructs in the tmdoc style.

The online TeXmacs manual has been completely restructured.
It should be pritty safe now to start translating the manual
into other languages. Of course, the tmdoc style is still unstable,
so there may be some upcoming new markup in order to deal with
hyperlinks, indexes and so. Also, I want to reorganize
the keyboard shortcuts later this month, so you should not
put too much effort in translating pages which are mainly
dedicated to keyboard shortcuts.

Best wishes,

Joris