New Font Selection Scheme and fuzz.sty

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Kokichi Futatsugi Thu, 28 Jan 1993 02:45

#131

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

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