Hi Tobias, >>>>> "Bruckmann, Tobias" <[email protected]> writes: > is there anything I can do from user side? I am no programmer, but let me > know in case I can help.
All I can think of is to keep an old TeX distribution separately from the latest one. You can obtain old distributions from https://www.tug.org/historic/ . Regards, Ikumi Keita _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
