Article View: comp.specification.z
Article #42Re: Z and concurrent systems
From: A Wooden Fish on Wheels
Date: Wed, 12 Aug 1992 16:20
Date: Wed, 12 Aug 1992 16:20
18 lines
1317 bytes
1317 bytes
In article <...> hallam@zws009.desy.de (Phillip M. Hallam-Baker) writes: After sorting out the theoretical problems, your next step will be to try to get the TCSP LaTeX style to work with Zed... As the author of said style, I ought to state that the latest version seems fairly compatible with Mike Spivey's ZED and FUZZ style files. The CSP/LaTeX style files and the CSP/TeX symbol font WILL be available by anonymous ftp from "ftp.comlab.ox.ac.uk" in the near future. I'd put them out now, but I want to produce better documentation first. By the way, the CSP stuff works with both old and new font selection schemes, and both oldlfont and newlfont options to the NFSS. Jim --
Technical Details
Message-ID:
<JIM.DAVIES.92Aug12172045@pierrot.prg.ox.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!culhua!Jim.DaviesReferences:
<9208111603.AA27215@cse.uta.edu> <JIM.DAVIES.92Aug11180159@pierrot.prg.ox.ac.uk> <1992Aug12.135047.11085@dscomsf.desy.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!culhua!Jim.Davies From: Jim.Davies@prg.ox.ac.uk (A Wooden Fish on Wheels) Newsgroups: comp.specification.z Subject: Re: Z and concurrent systems Message-ID: <JIM.DAVIES.92Aug12172045@pierrot.prg.ox.ac.uk> Date: 12 Aug 92 16:20:45 GMT References: <9208111603.AA27215@cse.uta.edu> <JIM.DAVIES.92Aug11180159@pierrot.prg.ox.ac.uk> <1992Aug12.135047.11085@dscomsf.desy.de> Sender: news@comlab.ox.ac.uk Organization: Foundations for the Laboratory of Computer Science, Oxford Lines: 18 In-reply-to: hallam@zws009.desy.de's message of 12 Aug 92 13:50:47 GMT