summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc')
-rw-r--r--Master/texmf-dist/doc/latex/objectz/catalog7
-rw-r--r--Master/texmf-dist/doc/latex/objectz/makefile6
-rw-r--r--Master/texmf-dist/doc/latex/objectz/manifest9
-rw-r--r--Master/texmf-dist/doc/latex/objectz/ozguide.dvibin52692 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/objectz/ozguide.pdfbin0 -> 279519 bytes
-rw-r--r--Master/texmf-dist/doc/latex/objectz/oztest.dvibin24072 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/objectz/readme45
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
deleted file mode 100644
index d67533210a8..00000000000
--- a/Master/texmf-dist/doc/latex/objectz/ozguide.dvi
+++ /dev/null
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/objectz/ozguide.pdf b/Master/texmf-dist/doc/latex/objectz/ozguide.pdf
new file mode 100644
index 00000000000..0a54b26d839
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/objectz/ozguide.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/objectz/oztest.dvi b/Master/texmf-dist/doc/latex/objectz/oztest.dvi
deleted file mode 100644
index e264541e2f2..00000000000
--- a/Master/texmf-dist/doc/latex/objectz/oztest.dvi
+++ /dev/null
Binary files differ
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
+