LaTeX-Style: z-eves.sty definiert LaTeX-Befehle f�r alle Z-Konstrukte (mu� nur im selben Verzeichnis wie die das .tex-File liegen).
Template: Die Beispiel-Datei z-template.tex ist das Muster einer (fast) leeren LaTeX-Datei. Zum Erzeugen einer PDF-Datei mu� diese Datei im selben Verzeichnis wie z-eves.sty liegen. Danach gen�gt der Befehl pdflatex z-template.tex.
Anleitung: Gibt einen �berblick �ber die LaTeX-Befehle zum setzen von Z-Spezifikationen. Gibt es als LaTeX-Source und als fertiges PDF.
Emacs-Mode: z-eves.el hilft beim Emacs-Editieren von Z-LaTeX-Files, die als Input f�r viele Tools dienen.
Z Reference Manual: Es gibt eine lokale Kopie der offiziellen Version des Referenz-Handbuchs von Mike Spivey.
Glossary of Z notation: Kurz-Glossar, das die wichtigsten Z-Konstrukte auflistet.
Consensus Working Draft: Die Version 2.7 des Consensus Working Drafts der Z Syntax und Semantik. Besonders interessant: Im Annex A (ab Seite 78) wird beschrieben, wie man Z als LaTeX oder reines ASCII eingibt.
WWW Virtual Library--The Z Notation: Ausf�hrliche Material-Sammlung rund um Z.
FAQ: Frequently Asked Questions �ber Z.
Homepage: Die Jaza-Homepage bietet die Implementierung, Dokumentation und weiter Information.
Installation: Entweder, man verwendet die vorinstallierte Version im CIP-Pool (Aufruf jaza
) oder man installiert die Bin�r-Version f�r Linux bzw. kompiliert/interpretiert den Haskell-Source-Code auf anderen Plattformen (wie auf der Jaza-Homepage beschrieben). Bei Fragen bitte E-Mail an Axel Rauschmayer.
Jaza-User-Manual: Teil der Jaza-Distribution, die als kurzes und praktisches Tutorial erkl�rt, wie Jaza einzusetzen ist.