Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Source code for Maude is available here:

http://maude.cs.uiuc.edu/download/

Under a regular unix shell you can redirect program output to a file with
the > operator and output+errors to a file with the >& operator.
You can also capture an interactive session with the standard unix 
utility "script". Also your terminal program may offer logging as an option.

Best regards,

Steven Eker

On Tuesday 10 June 2008 22:59, vaneet dadra wrote:
> Respected Sir/Madam,
>
> Can you tell me how to install MAUDE from its makefile etc?Because on your
> site you have given only executable file with some supporting files.But I
> want to make some changes MAUDE for integrating it with a software called
> SMARAN as my summer intern project and I will use it in accordance with
> user license agreement.But can you help in installing MAUDE from its source
> code and is there any way to redirect the output to any file etc as I am
> trying to note down time for some matchings but the no of solutions is too
> large that I am not able to scroll up to see time spent in computation.