Tree [bdd878]
master
/
History
File
Date
Author
Commit
doc
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
src
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
AUTHORS
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
COPYING
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
ChangeLog
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
INSTALL
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
Makefile.am
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
Makefile.in
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
NEWS
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
README
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
TODO
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
aclocal.m4
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
check.sh
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
configure
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
configure.ac
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
depcomp
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
install-sh
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
missing
2010-10-14
Keith Harwood
[bdd878]
Initial git commit from version 0.2.1, correspo...
test.tar
2010-10-14
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.
© 2025 Slashdot Media. All Rights Reserved.
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.