#TeX frontend WP
05-May-93 17:19:21
Sb: #98436-#TeX frontend WP
Fm: Paul Idol 71024,3245
To: Steve Ahlstrom 76703,2006
Yes, but what _is_ TeX? Maybe I'm in the minority here – maybe I'm the
lone idiot – but I have no idea what it is. The docs for ToolManager seem
to involve TeX, but in different, confusing ways.
Paul