Thus it was written in the epistle of VANCE,JEFF (HP-Cupertino,ex1),
>                                                            Today, computer
> users require a more robust, user-friendly interface.

Somebody had to say it:  Since when have GUIs been more robust than a hard-
wired "dumb" terminal?

Jeff, thanks for the paper.  I was just wondering, would it be possible to get
QCTerm mentioned in it (or perhaps I missed the mention).  What Wirt has done
is valuable and distinct.

Thanks,
Ted
--
Ted Ashton ([log in to unmask]), Info Sys, Southern Adventist University
          ==========================================================
Thus, be it understood, to demonstrate a theorem, it is neither necessary
nor even advantageous to know what it means. The geometer might be replaced
by the "logic piano" imagined by Stanley Jevons; or, if you choose, a
machine might be imagined where the assumptions were put in at one end,
while the theorems came out at the other, like the legendary Chicago machine
where the pigs go in alive and come out transformed into hams and sausages.
No more than these machines need the mathematician know what he does.
                        -- Poincare, Jules Henri (1854-1912)