[CZT-Users] [eclipse plugin] inclusion/reference of specification in another file

[sylvain n. <syl...@go...>]

Hi,
first of all, congratulation for the Eclipse CZT plugin. It works well.

Do you plan to integrate a Z animator in it?

One complain: it seems that the plugin does not accept another file ending
as .zed{8,16} (it crashes).
This is a shame, because a file can actually contain at least three types of
texts:
- informal, narrative specifications
- Z specifications
- source code
It would be great to be able to edit the same file with different editors
depending on the "view" I need to.
For example I would like to write a specification with the CZT plugin and
then add C code using CDT, close to the specification it implements.
For now I have to rename the file to do this.

In fact, my most urgent question is the following: how can I reference a
specification written in a file into another?

Another question: do you know of any ready-to-use Z specification for real
numbers?

Thanks in advance for your answers,
Sylvain