Tree [bdd878] master /
History



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.