maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] maude session in out put file

From: "boucherit ammar" <boucherit_ammar AT hotmail.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] maude session in out put file
Date: Tue, 15 Feb 2005 14:45:22 +0000
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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.

_________________________________________________________________
MSN Hotmail : antivirus et antispam intégrés http://www.msn.fr/newhotmail/Default.asp?Ath=f

[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