VDM style file

Thread View: comp.specification

1 messages

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

1 total messages Started by Dr. Betty Cheng Thu, 25 Apr 1991 02:27

#370

Author: Dr. Betty Cheng
Date: Thu, 25 Apr 1991 02:27

25 lines
1336 bytes

Does anyone have a short latex file that uses the vdm.sty file?
I am looking for something that has an example of the different
structures that can be generated using the style file.  I am not
a tex programmer and thus find some of the tex commands difficult to
decipher.  In particular, I am interested in finding out what syntax 
should be used in defining functions, operations, and proofs.


Please email me directly if you have sample latex files.

thank you,

Betty
Department of Computer Science
Michigan State University

(517) 355-8344
chengb@cps.msu.edu

p.s. 

btw, the version that I am using is dated Revision 2.5 88/03/25 by Mario
Wolczko.
I have not been able to send email to the address that he gave in the file
(mario@uk.ac.man.cs.ux).

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