From david_currie@uk.ibm.com Fri Oct 25 10:45:50 2002
Date: Mon, 14 Oct 2002 14:19:11 +0100
From: David Currie <david_currie@uk.ibm.com>
To: czt-project@comlab.ox.ac.uk
Subject: CZT: Example XML Z Schema

    [ The following text is in the "Windows-1252" character set. ]
    [ Your display is set for the "ISO-8859-1" character set.  ]
    [ Some characters may be displayed incorrectly. ]

Hi

I'm in the process of writing a simple Z animator as an MSc project.  As
input the animator will take XML adhering to the proposed DTD:

http://www-users.cs.york.ac.uk/~ian/zstan/Z.dtd

What I am looking for is some sample input to the animator.  Does anyone
have any examples?  In particular, I'm looking to extend the XML for the
Birthday Book example:

http://www-users.cs.york.ac.uk/~ian/zstan/BirthdayBook.xml

to include the full range of operations from Spivey's original.

Regards
David Currie

-----------------------------------------------------------------------
This message is sent to the czt-project mailing list.  To join, send an
email to czt-project-request@comlab.ox.ac.uk containing the single line
subscribe
To unsubscribe, do the same, changing the message appropriately.
To send a message to the list, write to czt-project@comlab.ox.ac.uk.
The CZT home page is at:
http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/
-----------------------------------------------------------------------