diff options
Diffstat (limited to 'Master/texmf-dist/doc')
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/catalog | 7 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/makefile | 6 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/manifest | 9 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/ozguide.dvi | bin | 52692 -> 0 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/ozguide.pdf | bin | 0 -> 279519 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/oztest.dvi | bin | 24072 -> 0 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/latex/objectz/readme | 45 |
7 files changed, 67 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/objectz/catalog b/Master/texmf-dist/doc/latex/objectz/catalog new file mode 100644 index 00000000000..7edc81a9fc4 --- /dev/null +++ b/Master/texmf-dist/doc/latex/objectz/catalog @@ -0,0 +1,7 @@ +Name: objectz +Problems-To: s.rahtz@elsevier.co.uk +Author: Sebastian Rahtz <s.rahtz@elsevier.co.uk> +Date: 199r/01/06 +Version: 2.42 +Description: LaTeX package for typesetting Object Z schemas + diff --git a/Master/texmf-dist/doc/latex/objectz/makefile b/Master/texmf-dist/doc/latex/objectz/makefile new file mode 100644 index 00000000000..edb8e0f58a2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/objectz/makefile @@ -0,0 +1,6 @@ +oz: + tex oz.ins + latex oz.dtx + +clean: + -rm *.aux *.toc *.sty *.dvi *.log *.tmp diff --git a/Master/texmf-dist/doc/latex/objectz/manifest b/Master/texmf-dist/doc/latex/objectz/manifest new file mode 100644 index 00000000000..e68ae4938e0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/objectz/manifest @@ -0,0 +1,9 @@ +total 112 +-rw-r--r-- 1 srahtz 191 Aug 6 10:27 catalog +-rw-r--r-- 1 srahtz 79 Aug 6 10:27 makefile +-rw-r--r-- 1 srahtz 0 Jan 7 11:49 manifest +-rw-r--r-- 1 srahtz 54861 Nov 22 11:12 oz.dtx +-rw-r--r-- 1 srahtz 1272 Aug 6 10:27 oz.ins +-rw-r--r-- 1 srahtz 41883 Aug 6 10:27 ozguide.tex +-rw-r--r-- 1 srahtz 10865 Aug 6 10:27 oztest.tex +-rw-r--r-- 1 srahtz 1763 Jan 7 11:45 readme diff --git a/Master/texmf-dist/doc/latex/objectz/ozguide.dvi b/Master/texmf-dist/doc/latex/objectz/ozguide.dvi Binary files differdeleted file mode 100644 index d67533210a8..00000000000 --- a/Master/texmf-dist/doc/latex/objectz/ozguide.dvi +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/objectz/ozguide.pdf b/Master/texmf-dist/doc/latex/objectz/ozguide.pdf Binary files differnew file mode 100644 index 00000000000..0a54b26d839 --- /dev/null +++ b/Master/texmf-dist/doc/latex/objectz/ozguide.pdf diff --git a/Master/texmf-dist/doc/latex/objectz/oztest.dvi b/Master/texmf-dist/doc/latex/objectz/oztest.dvi Binary files differdeleted file mode 100644 index e264541e2f2..00000000000 --- a/Master/texmf-dist/doc/latex/objectz/oztest.dvi +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/objectz/readme b/Master/texmf-dist/doc/latex/objectz/readme new file mode 100644 index 00000000000..c3ee8cd92f9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/objectz/readme @@ -0,0 +1,45 @@ +This is a revision of Paul King's oz.sty macros for typesetting Object Z, +updated for LaTeX2e. Users should run ozguide.tex through \LaTeX\ (after +installation!) for details of usage. + +Install by running \TeX\ on oz.ins and install oz.sty where \LaTeX\ +can find it. + +UPDATE NOVEMBER 1996 +******************** + +The Formal Methods Group in the Computer Science Department at the +University of Queensland recently released 'wizard', a type checker +for Object-Z specifications. Included in the wizard release was an +updated version of the oz.sty file for LaTeX 2.09. + +I have implemented all changes made in the oz.sty for LaTeX 2.09, +since it's last official release in late 1990, into the oz.dtx file +which you maintain for LaTeX 2e. I have attached my updated version +of oz.dtx to this message so that you may check these modifications +and officially release the updated version. + +The changes were made to the oz.dtx file with last changes logged +on 22 Feb 95 (this is the version currently available from CTAN). +All modifications and additions I have made are clearly indicated in +the updated file for your convenience. + +Should you need to compare my changes with the updated oz.sty file for +LaTeX 2.09, you can download the wizard archive from the following url: + + ftp://ftp.cs.uq.edu.au/pub/SVRC/software/wizard.tar.gz + +The new oz.sty file and oz.tex file are located in the wizard/tex +subdirectory when the archive is extracted. + +Please contact me if you need to. + +Thanks. + +Dave. +-- +David Leadbetter Email: davidl@cs.uq.edu.au +PhD Student Phone: + 61 7 3365 1204 +Department of Computer Science FAX: + 61 7 3365 1999 +The University Of Queensland 4072 AUSTRALIA + |