tim finin (firstname.lastname@example.org)
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
This archive was generated by hypermail 2.0b3 on Sun Mar 02 2003 - 13:40:00 EST