maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] XML log in Maude 2.2

From: Max Schaefer <xiemaisi AT yahoo.de>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] XML log in Maude 2.2
Date: Tue, 13 Jun 2006 23:57:10 -0700 (PDT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.de; h=Message-ID:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=pzW6WkF1eyb18iJC4XLzthVtlf75mNl8RRr3+9rOlCwcAwBzOHy9iBCcpRd/1cUsDFtljgmhBTEMn8+xvTcWodUgyFNmAQshLJkBz+FEHd+R9KbRNZkpes8XIG6Ctd4LcnSlDoc/vTyZM2j4bHXBtbhThaq9N7iZxA3PMwtXlM4= ;
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hello all,

I just discovered the "-xml-log=..." command line
switch of Maude 2.2, and I think it will be extremely
useful for my purposes (I want to use Maude as a
backend for another program). Now my question is
whether the XML format used in the log file is fixed
yet (is there a DTD for it? or a Schema perhaps?), or
if it is likely to change in the future (since I
haven't seen it documented in the manual).

-- Max Schäfer

__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com

[Maude-help] XML log in Maude 2.2, Max Schaefer, 06/14/2006
- Re: [Maude-help] XML log in Maude 2.2, Steven Eker, 06/14/2006