Joris,I just tried the SVN version of January 19. Exactly the same problem occurs.
Kostas
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
