Justin C. Walker on Thu, 5 Dec 2002 23:37:49 -0800

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: gp --texmacs

On Thursday, December 5, 2002, at 07:10 PM, Michael Somos wrote:


    This may be a silly question, but I just tried "gp --texmacs"
and now I don't know how to get anything useful out of it or even
how to quit. The usual control characters don't get me out. Shalom,

Well, your old friend ^\ should work :-}.

You can check here for a description of TeXmacs if you're unfamiliar with it: http://www.texmacs.org. I don't know for sure what goes on, but it's a WYSIWYG editor that can talk with CAS, so I suppose it's waiting for something intelligible on its stdin.

If you pass it some recognizable arguments, it will prompt with 'verbatim:'.

That's what I know.  No doc that I can see.



Justin C. Walker, Curmudgeon-At-Large  *
Institute for General Semantics | It's not whether you win or lose...
                                       |  It's whether *I* win or lose.