Maude-help mailing list

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

-xml-log was a quick hack to meet the needs of a particular project and it 
hasn't been kept up to date with newer commands. I suppose I could fix this 
in the next release. There is no DTD.

Steven

On Tuesday 13 June 2006 23:57, Max Schaefer wrote:
> 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 mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help