Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!sun-barr!ccut!wnoc-tyo-news!cs.titech!koudai!kaiya
From: kaiya@cs.titech.ac.jp (Haruhiko Kaiya)
Newsgroups: comp.specification
Subject: Re: wanted-for-TeXMacros-of-Z
Message-ID: <KAIYA.91Apr15170025@ryouko.cs.titech.ac.jp>
Date: 15 Apr 91 08:00:25 GMT
References: <KAIYA.91Apr14165954@ryouko.cs.titech.ac.jp>
Sender: usenet@cs.titech.ac.jp
Distribution: comp
Organization: Tokyo Institute of Tech., Dept. of Computer Science, Japan
Lines: 29
In-reply-to: kaiya@cs.titech.ac.jp's message of 14 Apr 91 07:59:54 GMT


Thanks for mail from:

     04/14  3783 nishio@kuis.kyoto  Re: wanted-for-TeXMacros-of-Z<<Reference -
     04/15  2583 neville@cosc.cant  LaTex Z macros<<Here are some Latex macros
     04/15   731 anthony@citrus.ci  TeXmacros for Z<<The University of Queensl
     04/15  1116 brendan@cs.uq.oz.  Re: wanted-for-TeXMacros-of-Z<<Mike Spivey
     04/15  1326 pjm@pandanus.ntu.  Z tex macros.<<Dear kaiya, You probably ha
     04/15  1555 king@cs.uq.oz.au   Re: wanted-for-TeXMacros-of-Z<<In comp.spe

<neville@cosc.cant> sent me "oz.sty" and its example.
This macros was made by <king@cs.uq.oz.au>, he advised me in his mail.

<anthony@citrus.ci> 
and <nishio@kuis.kyoto> in japan told me usefull information.

<brendan@cs.uq.oz.au> introduced me  "fuzz",
that is a commercial product and costs a couple of hundred pounds.

<pjm@pandanus.ntu.edu.au (Phil Maker)> told me
two macroses

	* Mike Spiveys macros for plain Z
	* Paul King macros for object oriented Z (oz.sty)

I will study software-engineering with this macros!!
Thanks
					kaiya@cs.titech.ac.jp
					Japan Tokyo