maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] maude session in out put file

From: Steven Eker <eker AT csl.sri.com>
To: "boucherit ammar" <boucherit_ammar AT hotmail.com>, maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: Re: [Maude-help] maude session in out put file
Date: Tue, 15 Feb 2005 12:51:21 -0800
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

On Tuesday 15 February 2005 06:45, boucherit ammar wrote:
> hello maude user
> I read that it is possible to put a maude session in out put file (xml
> file), but I don't know how I can
> do it.

maude -xml-log=output.xml

Only certain commands write their output to the log file.

Steven

[Maude-help] maude session in out put file, boucherit ammar, 02/15/2005
- Re: [Maude-help] maude session in out put file, Steven Eker, 02/15/2005