X11 interface for writing Z specifications

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Olivier (Bart) Dehon Wed, 06 Jan 1993 09:43

#140

Author: Olivier (Bart) Dehon
Date: Wed, 06 Jan 1993 09:43

13 lines
737 bytes

I'm a software engineering student in Bordeaux, France, and I'm looking
for an X interface for writing and editing Z specifications.

I'm working on Sun with X11R4.

Does someone know where I could get such an interface (via ftp) ?

Thanks in advance.


				[Bart]

			dehon@dess.emi.greco-prog.fr

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads