Re: [CZT-Users] Example specifications

[Tim M. <T.M...@li...>]

There are quite a few examples available in the ZML subproject of
CZT. You can access these by using SVN to download the 'zml'
subfolder, or you can browse and download them via sourceforge:
http://czt.svn.sourceforge.net/viewvc/czt/trunk/zml/src/main/resources/net/sourceforge/czt/zml/examples/

The Object-Z and Circus examples accessible from the above link
may be of some use as well.

Cheers,
Tim

nelis wrote:
> Dear CZT developers,
> 
> I'm now using the JEdit plug-in to produce a Z specification for a few 
> weeks, but it is not always easy to find your way with so few 
> documentation and examples. I'm wondering if you could provide more 
> examples through the website of z specifications, possibly annotated 
> with some explanation? Some of you must have other examples then the 
> BirthdayDay example.
> 
> Kind regards,
> Nelis
> 
> 
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems?  Stop.
> Now Search log events and configuration files using AJAX and a browser.
> Download your FREE copy of Splunk now >> http://get.splunk.com/
> _______________________________________________
> CZT-Users mailing list
> CZT...@li...
> https://lists.sourceforge.net/lists/listinfo/czt-users