[CZT-Devel] About a Manual for Object-Z Specifications...

[Cristian V. S. <vid...@ms...>]

Hi there.

I want to write an Object-Z specification using CZT and Eclipse. 
However, I don't know the rules for doing it using Latex or UTF8 or 
UTF16.  How Can I get a Manual about it?

Greetings.

-- 
Cristian Vidal Silva

Computer Engineer
Master in Computer Science
Ph.D. Student of Michigan State University
Chilean Fulbright Scholar