X11 interface for writing Z specifications

Article View: comp.specification.z

Article #140

Back to comp.specification.z Previous Next

#140

From: 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

Technical Details

Message-ID: <1993Jan6.094330.3609@greco-prog.fr>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!julienas!corton!geocub!phil!dehon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!julienas!corton!geocub!phil!dehon
From: dehon@phil.greco-prog.fr (Olivier (Bart) Dehon)
Newsgroups: comp.specification.z
Subject: X11 interface for writing Z specifications
Message-ID: <1993Jan6.094330.3609@greco-prog.fr>
Date: 6 Jan 93 09:43:30 GMT
Sender: usenet@greco-prog.fr (le facteur fnet)
Reply-To: dehon@dess.emi.greco-prog.fr (Olivier (Bart) Dehon)
Organization: LaBRI
Lines: 13