moreaux@litsun9.epfl.ch (Michel Moreaux) (03/08/91)
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 ------------------------------------------------------------------------------
sean@castle.ed.ac.uk (S Matthews) (03/09/91)
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