Re: xsb question


tim finin (finin@cs.umbc.edu)
Sun, 02 Mar 2003 13:33:26 -0500


Csaba Rozgonyi wrote:
> Does anybody know how to echo the session to a file in XSB?

You could use the unix script command
(e.g., http://unixhelp.ed.ac.uk/CGI/man-cgi?script).



This archive was generated by hypermail 2.0b3 on Sun Mar 02 2003 - 13:40:00 EST