On Thursday 17 February 2005 18:04, Joris van der Hoeven wrote: > > The problem has been corrected on CVS. >
Thanks Joris for the effort ! Cheers, Nicolas _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
