Thread View: comp.specification
2 messages
2 total messages
Started by Michel Moreaux
Fri, 08 Mar 1991 10:09
Z tools.
Author: Michel Moreaux
Date: Fri, 08 Mar 1991 10:09
Date: Fri, 08 Mar 1991 10:09
19 lines
1448 bytes
1448 bytes
Since I have been reading this newsgroup, I have not see any posting about Z tools for the Macintosh. Well ... Does anyone know where I could find a font (postcript if available)that will allow me to write Z specifications on a Macintosh ? Please do not reply me to use Tex because I do not like to type weird commands in order to format the input text (WYSIWYG is better, isn't it ?). -Michel. ------------------------------------------------------------------------------ Michel Moreaux, | "Ceux qui ne savent rien en savent Ecole Polytechnique Federale de Lausanne | toujours tout autant que ceux qui Departement d'Informatique | n'en savent pas plus qu'eux" Laboratoire d'Informatique Technique | P. Dac. EL-Ecublens |___________________________________ CH-1015 Lausanne Phone # : (21) 693-46-72, e-mail : moreaux@litsun.epfl.ch ------------------------------------------------------------------------------
Re: Z tools.
Author: S Matthews
Date: Sat, 09 Mar 1991 12:44
Date: Sat, 09 Mar 1991 12:44
10 lines
835 bytes
835 bytes
moreaux@litsun9.epfl.ch (Michel Moreaux) writes: >Please do not reply me to use Tex because I do not like to type weird >commands in order to format the input text (WYSIWYG is better, isn't it ?). (Emphatically) no, for various reasons, the most obvious one being that it is not machine typecheckable, or machine manipulable generally. Consider Spivey's fuzz checker, which makes sure that a specification at least does not contain gross errors. Sean
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