- Name: tex-zfuzz
- Version: 3.4.1
- Release: 1.fc15
- Epoch:
- Group: Applications/Engineering
- License: BSD
- Url: http://spivey.oriel.ox.ac.uk/mike/fuzz/
- Summary: Type-checker and LaTeX style for Z spec language
- Architecture: x86_64
- Size: 916681
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package (formerly named "fuzz") is a collection of tools that help
you to:
(1) format and print good-looking specifications in the Z ("zed") formal
specification language using LaTeX (through a new LaTeX style), and
(2) check them for compliance with the Z scope and type rules. It
includes a few font definitions for Z’s special symbols.
This package is useful if you want to create formal specifications using
the Z specification language. The Z language accepted is that of the Z
Reference Manual, second edition, which is not exactly the same as the Z
ISO standard (see http://www.cs.york.ac.uk/hise/cadiz/standard.html for
the differences).
Historically, this package was called "fuzz", but there is another
program ALSO called fuzz, so the command-line type-checker's has been
changed to "zfuzz". The LaTeX style itself is still named "fuzz" (so
LaTeX documents will keep working).
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: x86-17.phx2.fedoraproject.org 1308856075
- Buildhost: x86-17.phx2.fedoraproject.org
Generated packages:
Other version of this rpm: