summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/objectz
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-07-12 00:08:33 +0000
committerKarl Berry <karl@freefriends.org>2010-07-12 00:08:33 +0000
commit7eaa745afc9a81cdad0fc70a3bc92264511bce09 (patch)
treed7fd7926b8ea2854b31440a5785b8eba7826e176 /Master/texmf-dist/source/latex/objectz
parent8429f115db02a841e59e341684b16dca0f421f78 (diff)
objectz non-update
git-svn-id: svn://tug.org/texlive/trunk@19389 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/objectz')
-rw-r--r--Master/texmf-dist/source/latex/objectz/catalog7
-rw-r--r--Master/texmf-dist/source/latex/objectz/makefile6
-rw-r--r--Master/texmf-dist/source/latex/objectz/manifest9
-rw-r--r--Master/texmf-dist/source/latex/objectz/readme45
4 files changed, 0 insertions, 67 deletions
diff --git a/Master/texmf-dist/source/latex/objectz/catalog b/Master/texmf-dist/source/latex/objectz/catalog
deleted file mode 100644
index 7edc81a9fc4..00000000000
--- a/Master/texmf-dist/source/latex/objectz/catalog
+++ /dev/null
@@ -1,7 +0,0 @@
-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/source/latex/objectz/makefile b/Master/texmf-dist/source/latex/objectz/makefile
deleted file mode 100644
index edb8e0f58a2..00000000000
--- a/Master/texmf-dist/source/latex/objectz/makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-oz:
- tex oz.ins
- latex oz.dtx
-
-clean:
- -rm *.aux *.toc *.sty *.dvi *.log *.tmp
diff --git a/Master/texmf-dist/source/latex/objectz/manifest b/Master/texmf-dist/source/latex/objectz/manifest
deleted file mode 100644
index e68ae4938e0..00000000000
--- a/Master/texmf-dist/source/latex/objectz/manifest
+++ /dev/null
@@ -1,9 +0,0 @@
-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/source/latex/objectz/readme b/Master/texmf-dist/source/latex/objectz/readme
deleted file mode 100644
index c3ee8cd92f9..00000000000
--- a/Master/texmf-dist/source/latex/objectz/readme
+++ /dev/null
@@ -1,45 +0,0 @@
-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
-