Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!gatech!uflorida!rex!ames!sun-barr!cs.utexas.edu!uunet!yale!leichter
From: leichter@CS.YALE.EDU (Jerry Leichter)
Newsgroups: comp.software-eng
Subject: Re: a LATEX's macro wanted
Message-ID: <66525@yale-celray.yale.UUCP>
Date: 15 Jul 89 13:00:47 GMT
Sender: root@yale.UUCP
Organization: Yale Computer Science Department, New Haven, Connecticut, USA
Lines: 14
X-from: leichter@CS.YALE.EDU (Jerry Leichter (LEICHTER-JERRY@CS.YALE.EDU))

In article <25747@shemp.CS.UCLA.EDU>, swu@oahu.cs.ucla.edu writes...
> 
>Could anyone tell me where I can get a LATEX's macro set for writing
>a VDM specification document ?  Thanks in advance.
> 
> 
>Chi-Sharn Wu
>e-mail address : swu@cs.ucla.edu

A macro package for VDM, with what appears to be extensive documentation, is
available from the LaTeX style file collection at Clarkson.  I've never used
it - or VDM, for that matter - so can't comment on it.

							-- Jerry