From 7eaa745afc9a81cdad0fc70a3bc92264511bce09 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 12 Jul 2010 00:08:33 +0000 Subject: objectz non-update git-svn-id: svn://tug.org/texlive/trunk@19389 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/source/latex/objectz/catalog | 7 ---- Master/texmf-dist/source/latex/objectz/makefile | 6 ---- Master/texmf-dist/source/latex/objectz/manifest | 9 ----- Master/texmf-dist/source/latex/objectz/readme | 45 ------------------------- 4 files changed, 67 deletions(-) delete mode 100644 Master/texmf-dist/source/latex/objectz/catalog delete mode 100644 Master/texmf-dist/source/latex/objectz/makefile delete mode 100644 Master/texmf-dist/source/latex/objectz/manifest delete mode 100644 Master/texmf-dist/source/latex/objectz/readme (limited to 'Master/texmf-dist/source/latex/objectz') 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 -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 - -- cgit v1.2.3