TeX macros for Z ...

Thread View: comp.specification

2 messages

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

2 total messages Started by wkh Tue, 28 May 1991 15:19

#430

Author: wkh
Date: Tue, 28 May 1991 15:19

8 lines
698 bytes

is there an ftp site from which a "standard" set is available?

Thanks ... WkH

Ward K Harold				(512) 823-4139 [T/L 793-4139]
IBM Personal Systems Programming	external: wkh@dce.austin.ibm.com
11400 Burnet Rd., Zip 2603		internal: wkh@duke.austin.ibm.com
Austin, TX  78758			vnet: wharrold --ausvmq

Re: TeX macros for Z ...

#436

Author: Jonathan Bowen
Date: Fri, 31 May 1991 11:40

37 lines
1994 bytes

In article <7983@awdprime.UUCP> wkh@duke.austin.ibm.com () writes:
>is there an ftp site from which a "standard" set is available?

Not that I am aware of. However, some are available via e-mail
using the archive server at Oxford:


LaTeX document preparation support:

fuzz            Order form for "fuzz" Z style for LaTeX + type-checker
zed.sty         A LaTeX style option for writing Z documents
zguide.tex      A guide to the above style
oz.sty          A LaTeX style option for writing Z & Object-Z documents
oz.tex          A guide to the above style
threecolumn.sty A style option used by "oz.tex" (if you don't have it)

foil.sty        A LaTeX style for overhead projector foils
zedfoil.sty     A LaTeX style option for Z overhead projector foils
foil.tex        An example of using the above two style files


For detailed information on how to access the PRG archive
server, send a message containing the command "help" to
<archive-server@prg.oxford.ac.uk>.  Alternatively, send a command
of "send z zed.sty zguide.tex" (for example) to the same address.
The command "index z" will return a list of all the Z-related
files on the server.

If anyone is willing to make these (and other Z-related files)
available via FTP, please contact me. Unfortunately we cannot
afford direct Internet access at the moment. Alternatively, if
anyone would like to send us a cheque ...  :-)


--
Jonathan Bowen, <Jonathan.Bowen@prg.oxford.ac.uk>
Oxford University Computing Laboratory.

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