wiz bb1cbe5e1c Mention command names in SYNOPSIS; add gen_rmd160 to SEE ALSO; ... improve formatting; bump date.		2005-04-22 14:35:13 +00:00
..
Makefile	Minor cleanups, KNF, error handling consistency.	2005-04-21 12:45:12 +00:00
veriexec.4	Rototill of the verified exec functionality.	2005-04-20 13:44:45 +00:00
veriexecctl_conf.l	Fix format type error in yyerror printf.	2005-04-21 13:37:44 +00:00
veriexecctl_parse.y	Minor cleanups, KNF, error handling consistency.	2005-04-21 12:45:12 +00:00
veriexecctl.8	Mention command names in SYNOPSIS; add gen_rmd160 to SEE ALSO;	2005-04-22 14:35:13 +00:00
veriexecctl.c	Minor cleanups, KNF, error handling consistency.	2005-04-21 12:45:12 +00:00
veriexecctl.h	Minor cleanups, KNF, error handling consistency.	2005-04-21 12:45:12 +00:00