yagtd(1) [debian man page]
YAGTD(1) COMMANDS YAGTD(1) NAME
yagtd - utility to help organize your to-do lists SYNOPSIS
yagtd [options] <file> DESCRIPTION
yagtd is invoked with the name of a text file as first and only argument. This file is used to store the to-do list. yagtd opens an interactive command-prompt for adding, managing and viewing to-do items. The command mode is described in the yagtd manual. The manual also includes a practical introduction to using yagtd. OPTIONS
-c, --color Activate color highlighting -q, --quiet Do not print copyright message SEE ALSO
The yagtd manual. Installed on Debian systems in /usr/share/doc/yagtd/rest/yagtd.html. Can also be found online on the yagtd website. Website - https://gna.org/projects/yagtd/ 2008-11-30 YAGTD(1)
Check Out this Related Man Page
PROVER9(1) General Commands Manual PROVER9(1) NAME
prover9 - resolution/paramodulation theorem prover SYNOPSIS
prover9 [options] < input-file > output-file prover9 [options] -f input-file > output-file DESCRIPTION
This manual page documents briefly the prover9 command. prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the otter(1) prover. prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. OPTIONS
A summary of options is included below. -h View a list of command-line options. -x Enables an experimental enhanced auto-mode. For more information consult the prover9 manual. -p Fully parenthesize output. -t n Constrain the search to last about n seconds. For UNIX-like systems, the `user CPU' time is used. -f file Take input from file instead of from standard input. SEE ALSO
mace4(1), otter(1). On Debian systems, the manual is found in the prover9-doc package, at /usr/share/doc/prover9-doc/manual/index.html. AUTHOR
prover9 was written by William McCune <mccune@cs.unm.edu> This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others). August 12, 2007 PROVER9(1)