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/doc/latex/objectz/catalog | 7 ++++ Master/texmf-dist/doc/latex/objectz/makefile | 6 ++++ Master/texmf-dist/doc/latex/objectz/manifest | 9 +++++ Master/texmf-dist/doc/latex/objectz/ozguide.dvi | Bin 52692 -> 0 bytes Master/texmf-dist/doc/latex/objectz/ozguide.pdf | Bin 0 -> 279519 bytes Master/texmf-dist/doc/latex/objectz/oztest.dvi | Bin 24072 -> 0 bytes Master/texmf-dist/doc/latex/objectz/readme | 45 ++++++++++++++++++++++++ 7 files changed, 67 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/objectz/catalog create mode 100644 Master/texmf-dist/doc/latex/objectz/makefile create mode 100644 Master/texmf-dist/doc/latex/objectz/manifest delete mode 100644 Master/texmf-dist/doc/latex/objectz/ozguide.dvi create mode 100644 Master/texmf-dist/doc/latex/objectz/ozguide.pdf delete mode 100644 Master/texmf-dist/doc/latex/objectz/oztest.dvi create mode 100644 Master/texmf-dist/doc/latex/objectz/readme (limited to 'Master/texmf-dist/doc') 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 +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 Binary files a/Master/texmf-dist/doc/latex/objectz/ozguide.dvi and /dev/null 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 Binary files /dev/null and b/Master/texmf-dist/doc/latex/objectz/ozguide.pdf 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 Binary files a/Master/texmf-dist/doc/latex/objectz/oztest.dvi and /dev/null 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 + -- cgit v1.2.3