File: ladr4-apps.README.Debian

package info (click to toggle)
ladr 0.0.200911a-2.1
  • links: PTS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 10,748 kB
  • ctags: 7,252
  • sloc: ansic: 60,251; perl: 1,006; python: 623; makefile: 368; csh: 58; modula3: 13; sh: 3
file content (9 lines) | stat: -rw-r--r-- 372 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
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 <peter@pcc.me.uk>  Sun, 20 Jan 2008 20:47:42 +0000