Dear Norbert,
Thanks for the second series of patches.
Number 10 is related to 09; I will have to think about it.
I applied numbers 11 and 13. Number 12 is OK too, except that
I would like to avoid the inclusion of the line
\usepackage[T1]{fontenc}
in the case when no special characters are used
(as is the case for all other encodings).
Please fix that issue and I will apply the patch.
Best wishes, Joris
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
