Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!uwm.edu!cs.utexas.edu!uunet!mcsun!ukc!edcastle!sean
From: sean@castle.ed.ac.uk (S Matthews)
Newsgroups: comp.specification
Subject: Re: Z tools.
Message-ID: <9023@castle.ed.ac.uk>
Date: 9 Mar 91 12:44:59 GMT
References: <MOREAUX.91Mar8110940@litsun9.epfl.ch>
Organization: Edinburgh University
Lines: 10

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