Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. https://bugzilla.redhat.com/show_bug.cgi?id=452559 Summary: Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: dwheeler@xxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: fedora-package-review@xxxxxxxxxx,notting@xxxxxxxxxx Spec URL: http://www.dwheeler.com/zfuzz.spec SRPM URL: http://www.dwheeler.com/zfuzz-20070911-1.fc9.src.rpm Description: The zfuzz (Z fuzz, previously "fuzz") package 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, and (2) check them for compliance with the Z scope and type rules. The package defines a LaTeX style with extra LaTeX commands for laying out Z specifications, and includes font definitions for Z’s special symbols. The type-checker includes a new "use before definition" (-d) option; with this enabled, you can put the paragraphs of a specification in whatever order best suits your exposition (instead of having to present material in a stricter definition-before-use order). It also includes a "Lisp-style echoing" option, which echos input in a Lisp-like format for further analysis. 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 that users might simultaneously install. So the name of this package and command-line type-checker has been changed to "zfuzz". The LaTeX style itself continues to be named "fuzz" so LaTeX documents will continue to work. Much of the documentation refers to this package by the name "fuzz". -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review