On Thu, Jun 11, 2009 at 02:14:09AM +0200, Joris van der Hoeven wrote: > Yes, we have been aware of this bug, which has now been corrected. Yes, I upgraded to r2724 and it is fixed. Marvellous! Jeremy Henty
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
