tex-zfuzz-3.4.1-alt1_9.i586.rpm


Advertisement

Description

tex-zfuzz - Type-checker and LaTeX style for Z spec language

Distribution: ALT Linux Sisyphus
Repository: Autoimports i586
Package name: tex-zfuzz
Package version: 3.4.1
Package release: alt1_9
Package architecture: i586
Package type: rpm
Installed size: 1.07 MB
Download size: 1.07 MB
Official Mirror: ftp.altlinux.org
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 Za.'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).

Alternatives

Requires

Provides

  • tex-zfuzz = 3.4.1-alt1_9
  • texmf(latex/fuzz)

    Download

    Install Howto

    1. Add the following line to /etc/apt/sources.list:
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus i586 autoimports
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
      
    2. Update the package index:
      # sudo apt-get update
    3. Install tex-zfuzz rpm package:
      # sudo apt-get install tex-zfuzz

    Files

    • /usr/bin/zfuzz
    • /usr/share/doc/tex-zfuzz-3.4.1/INSTALL
    • /usr/share/doc/tex-zfuzz-3.4.1/example.pdf
    • /usr/share/doc/tex-zfuzz-3.4.1/example.tex
    • /usr/share/doc/tex-zfuzz-3.4.1/fuzzman-2up.pdf
    • /usr/share/doc/tex-zfuzz-3.4.1/fuzzman.pdf
    • /usr/share/doc/tex-zfuzz-3.4.1/refcard-2up.pdf
    • /usr/share/doc/tex-zfuzz-3.4.1/refcard-3up.pdf
    • /usr/share/doc/tex-zfuzz-3.4.1/refcard.pdf
    • /usr/share/doc/tex-zfuzz-3.4.1/tut.pdf
    • /usr/share/tex-zfuzz/fuzzlib
    • /usr/share/texmf/fonts/pk/tex-zfuzz/
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz10.600pk
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz10.720pk
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz5.600pk
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz6.600pk
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz7.600pk
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz8.600pk
    • /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz9.600pk
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz10.tfm
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz5.tfm
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz6.tfm
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz7.tfm
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz8.tfm
    • /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz9.tfm
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz.mf
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz10.mf
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz5.mf
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz6.mf
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz7.mf
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz8.mf
    • /usr/share/texmf/metafont/tex-zfuzz/oxsz9.mf
    • /usr/share/texmf/metafont/tex-zfuzz/zarrow.mf
    • /usr/share/texmf/metafont/tex-zfuzz/zletter.mf
    • /usr/share/texmf/metafont/tex-zfuzz/zsymbol.mf
    • /usr/share/texmf/tex/latex/tex-zfuzz/fuzz.sty
    Advertisement
    Advertisement