ladr4-apps for Debian --------------------- Some of these applications do not yet have man pages. You can obtain basic help for them using the -help flag, or by consulting the manual, which is available in the prover9-doc package in HTML format, at /usr/share/doc/prover9-doc/manual/index.html -- Peter Collingbourne Sun, 20 Jan 2008 20:47:42 +0000