Works fine for me, thank you. On Tue, Oct 22, 2013 at 4:50 AM, Joris van der Hoeven <vdhoe...@texmacs.org> wrote: > Hi, > > Thanks for reporting this bug. I think that it has been fixed now. > Hopefully, I did not break something else. > > Best wishes, --Joris
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
