Synopsis: TeXmacs update to 1.0.5.10 State-Changed-From-To: open->closed State-Changed-By: wiz@netbsd.org State-Changed-When: Thu, 10 Nov 2005 21:13:01 +0000 State-Changed-Why: Committed, thank you!