Le 02/08/2018 à 15:06, jfbu a écrit :
There is a problem here with xetex error logs.
I opened an upstream ticket https://sourceforge.net/p/xetex/bugs/154/ Best, Jean-François _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex