Download Latest Version vimes-0.2.9.tar.gz (3.2 MB)
Email in envelope

Get an email when there's a new version of z-vimes

Home
Name Modified Size InfoDownloads / Week
vimes-0.2.9.tar.gz 2012-10-27 3.2 MB
MANPAGE 2012-10-27 8.7 kB
vimes-0.2.8.tar.gz 2012-07-18 3.2 MB
vimes-0.2.7.tar.gz 2011-11-29 2.7 MB
vimes-0.2.6.tar.gz 2011-10-21 2.7 MB
vimes-0.2.5.tar.gz 2011-06-04 2.7 MB
README 2011-06-01 586 Bytes
vimes-0.2.4.1.tar.gz 2011-05-07 2.5 MB
Totals: 8 Items   17.1 MB 0
This is the Vital Mission Software Z Type Checker, also known as
Vimes. It accepts Z specifications in the form of LaTeX source marked
up using the LaTeX markup given in the standard (with a few extras
from oz.sty) and reports syntax and type errors.

The man page gives more detail.

The Z notation supported is that ISO-13568:2002.

This package may be installed by following the instructions in
INSTALL. Generally `./configure; make; make install' is sufficient.

An optional `make check' runs over two hundred tests.

This package requires the popt library, version 1.14 or later.

Source: README, updated 2011-06-01