Log Message:
Update to 1.0.0.15, provided by Julio Merino in pkg/18123 (with minor
fixes by me).
Changes:
* Automatic generation of preamble instead of using the TeXmacs.sty file
  (1.0.0.15).
* Widget factory for menus moved to the Scheme interface (1.0.0.15).
* Circulating variants for certain environments (1.0.0.15).
* New menu look and feel (1.0.0.14).
* Some changes to the LaTeX to TeXmacs converter (1.0.0.14).
* We started implementing a TeXmacs to Html converter (1.0.0.14).
* Correction of a severe bug which disabled the keyboard on certain systems
  (1.0.0.13).
* Better support of the numeric keypad and dead accents (1.0.0.13).
* Complete change of the keyboard behaviour (1.0.0.12).
* Automatic detection and configuration of modifier keys (1.0.0.12).
* Automatic translation of menus in the documentation (1.0.0.12).
* Guile/Scheme scripts inside documents (1.0.0.12).
* Wildcard system for keyboard shortcuts (1.0.0.11).
* Keyboard shortcuts in the menus are determined automatically (1.0.0.11).
* Further reorganization of the menus (1.0.0.11).
* Support for grey menu items, checkmarks and ... in menus (1.0.0.11).
* Automatic determination of keyboard shortcuts in menus (1.0.0.11).
* Widgets are now attached to the current display at creation time (1.0.0.11).
* Improved reduce and axiom interfaces (1.0.0.11).
* We replaced the gencc preprocessor by the more standard template system of
  C++ (1.0.0.10).