Article View: comp.text
Article #1192TeX/LaTeX styles for Z specifications?
From: Christian S. Collberg
Date: Mon, 13 Nov 1989 09:36
Date: Mon, 13 Nov 1989 09:36
7 lines
687 bytes
687 bytes
If anyone has TeX/LaTeX and MetaFont style files for Z specifications (as seen, for example, in Spivey's "The Z Notation") available, I would appreciate receiving a copy. Thanks, Chris Collberg collberg@dna.lth.se
Technical Details
Message-ID:
<1989Nov13.093616.7155@lth.se>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!Urd!newsuserShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!Urd!newsuser From: collberg@dna.lth.se (Christian S. Collberg) Newsgroups: comp.text Subject: TeX/LaTeX styles for Z specifications? Message-ID: <1989Nov13.093616.7155@lth.se> Date: 13 Nov 89 09:36:16 GMT Sender: newsuser@lth.se (LTH network news server) Reply-To: collberg@DNA.LTH.Se (Christian S. Collberg) Organization: Lund University, Sweden Lines: 8