===> Cleaning for TeXmacs-1.0.6.14nb2