verifier documentation
authoredwin <none@none>
Fri, 16 Jan 2004 13:07:12 +0000 (13:07 +0000)
committeredwin <none@none>
Fri, 16 Jan 2004 13:07:12 +0000 (13:07 +0000)
commitf75d198575c16e57926125727c9a83a3a7bcd360
tree63157fe663d5d35f3e4cf86b92281ccb0ae9c7e8
parentc3a9195cfc810bb9b0a2bb1e19624228dfddd2e3
verifier documentation
doc/handbook/cacao.tex
doc/handbook/java.bib
doc/handbook/verification.tex