From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Patrick Kelly" To: "'Fans of the OS Plan 9 from Bell Labs'" <9fans@9fans.net> References: <20100416115756.GA1107@polynum.com> <4BC836D2020000CC000269E3@wlgw07.wlu.ca> <4BC855DF020000CC00026A46@wlgw07.wlu.ca> In-Reply-To: <4BC855DF020000CC00026A46@wlgw07.wlu.ca> Date: Fri, 16 Apr 2010 12:47:03 -0400 Message-ID: <004001cadd84$7254c4a0$56fe4de0$@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [9fans] TeX: hurrah! Topicbox-Message-UUID: 03dc943e-ead6-11e9-9d60-3106f5b1d025 >From: 9fans-bounces@9fans.net [mailto:9fans-bounces@9fans.net] On = Behalf Of Karljurgen Feuerherm >Sent: Friday, April 16, 2010 12:20 PM >To: Fans of the OS Plan 9 from Bell Labs >Subject: Re: [9fans] TeX: hurrah! >1. "IFAIK"? Can't find that anywhere... =20 >2. Is C++ a problem? Not supported by Plan9? Object-Orientation reduces static provability. May be I'm crazy, but I = like it when you can prove that a program is only going to do what it = was told to do. >IFAIK, XeTeX/XeLaTeX based on C++ code. Not all TeX solutions are though.