objectz non-update

git-svn-id: svn://tug.org/texlive/trunk@19389 c570f23f-e606-0410-a88d-b1316a301751

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
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
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
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
+