[Texmacs-dev] Applied patches for TeXmacs-1.0.0.25

[Joris van der Hoeven]

Here some news about what I did with David's most recent patches:

792 Applied.
791 Rejected:
    major-mode dependent items in menus should not be greyed;
    only context dependent items should be greyed.
793 Applied.
794 Rejected: same reason as 791.
795 Applied.
796 Applied.
797 Applied and completed.

More will follow.