New Font Selection Scheme and fuzz.sty

Article View: comp.specification.z

Article #131

Back to comp.specification.z Previous Next

#131

From: Kokichi Futatsugi
Date: Thu, 28 Jan 1993 02:45

23 lines
1315 bytes

Dear Dr. Mike Spivey,

you write:
 |Sender: zforum-request@prg.ox.ac.uk
 |Date: Fri, 6 Nov 92 12:17:51 GMT
 |From: Mike.Spivey@prg.ox.ac.uk
...
 |To obtain a (free) copy of the new fuzz.sty, or details of how to get
 |the fuzz package, which includes a type-checker for Z specifications
 |as well as a LaTeX style option and fonts for printing them, send
 |e-mail to mike@prg.oxford.ac.uk

Please let me know how to get "fuzz.sty" and related materials.  

Thanking you in advance,

Kokichi Futatsugi
Electrotechnical Laboratory (ETL) /
Japan Advanced Institute of Science and Technology (JAIST)
Address: ETL, 1-1-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN
Tel:     +81 298 58 5163
Fax:     +81 298 58 5891
E-mail:  futatsugi@etl.go.jp

Technical Details

Message-ID: <9301280245.AA29160@etlclt.etl.go.jp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!amdahl!rtech!pacbell.com!ames!agate!doc.ic.ac.uk!uknet!comlab.ox.ac.uk!<kokichi@etl.go.jp>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!amdahl!rtech!pacbell.com!ames!agate!doc.ic.ac.uk!uknet!comlab.ox.ac.uk!<kokichi@etl.go.jp>
From: kokichi@etl.go.jp (Kokichi Futatsugi)
Newsgroups: comp.specification.z
Subject: New Font Selection Scheme and fuzz.sty
Message-ID: <9301280245.AA29160@etlclt.etl.go.jp>
Date: 28 Jan 93 02:45:31 GMT
Sender: kokichi@etl.go.jp
Reply-To: futatsugi@etl.go.jp
Lines: 23
In-Reply-To: Mike.Spivey@prg.ox.ac.uk's message of Fri, 6 Nov 92 12:17:51 GMT <28377.9211061217@prg.ox.ac.uk>
X-Mailer: mail-news 2.0.3