Help save net neutrality! Learn more.
Close

Tree [bdd878] master /
 History

HTTPS access


File Date Author Commit
 doc 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 src 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 AUTHORS 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 COPYING 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 ChangeLog 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 INSTALL 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 Makefile.am 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 Makefile.in 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 NEWS 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 README 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 TODO 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 aclocal.m4 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 check.sh 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 configure 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 configure.ac 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 depcomp 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 install-sh 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 missing 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...
 test.tar 2010-10-14 Keith Harwood Keith Harwood [bdd878] Initial git commit from version 0.2.1, correspo...

Read Me

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.