mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

Fixed, thanks.

If you feel like opening an account, etc., the "right" place to report
stuff is savannah.gnu.org:

https://savannah.gnu.org/projects/texmacs/

Otherwise you can post here or preferably, texmacs-dev. But here is ok.
________________
Miguel de  Benito.


On Tue, Jul 24, 2012 at 8:38 PM, Bernd Losert <address@hidden> wrote:
> I am not sure if this is the right place to mention this but anywho:
>
> In the part of 18.5.3 of the user manual describing the
> sectional-normal macros, the last one should be sectional-normal-bold
> instead of sectional-short-bold.
>
> --
> Bernd