coqide(1) [debian man page]

COQIDE(1)						      General Commands Manual							 COQIDE(1)

NAME

       coqide - The Coq Proof Assistant graphical interface

SYNOPSIS

       coqide [ options ]

DESCRIPTION

       coqtop is a gtk graphical interface for the Coq proof assistant.

       For command-line-oriented use of Coq, see coqide(1) ; for batch-oriented use of Coq, see coqc(1).

OPTIONS

       -h     Show the complete list of options accepted by coqide.

       -I dir, -include dir
	      Add directory dir in the include path.

       -R dir coqdir
	      Recursively map physical dir to logical coqdir.

       -src   Add source directories in the include path.

       -is f, -inputstate f
	      Read state from f.coq.

       -nois  Start with an empty state.

       -outputstate f
	      Write state in file f.coq.

       -load-ml-object f
	      Load ML object file f.

       -load-ml-source f
	      Load ML file f.

       -l f, -load-vernac-source f
	      Load Coq file f.v (Load f.).

       -lv f, -load-vernac-source-verbose f
	      Load Coq file f.v (Load Verbose f.).

       -load-vernac-object f
	      Load Coq object file f.vo.

       -require f
	      Load Coq object file f.vo and import it (Require f.).

       -compile f
	      Compile Coq file f.v (implies -batch).

       -compile-verbose f
	      Verbosely compile Coq file f.v (implies -batch).

       -opt   Run the native-code version of Coq or Coq_SearchIsos.

       -byte  Run the bytecode version of Coq or Coq_SearchIsos.

       -where Print Coq's standard library location and exit.

       -v     Print Coq version and exit.

       -q     Skip loading of rcfile.

       -init-file f
	      Set the rcfile to f.

       -user u
	      Use the rcfile of user u.

       -batch Batch mode (exits just after arguments parsing).

       -boot  Boot mode (implies -q and -batch).

       -emacs Tells Coq it is executed under Emacs.

       -dump-glob f
	      Dump globalizations in file f (to be used by coqdoc(1)).

       -impredicative-set
	      Set sort Set impredicative.

       -dont-load-proofs
	      Don't load opaque proofs in memory.

       -xml   Export XML files either to the hierarchy rooted in the directory COQ_XML_LIBRARY_ROOT (if set) or to stdout (if unset).

SEE ALSO

       coqc(1), coqtop(1), coq-tex(1), coqdep(1).
       The Coq Reference Manual, The Coq web site: http://coq.inria.fr, /usr/share/doc/coqide/FAQ.

AUTHOR

       This manual page was written by Samuel Mimram <samuel.mimram@ens-lyon.org>, for the Debian project (but may be used by others).

								   July 16, 2004							 COQIDE(1)

GNUCASH(1)							       1.8.1								GNUCASH(1)

NAME

       gnucash - personal finance manager

SYNOPSIS

       gnucash [options] [ accounts.gnc ]

DESCRIPTION

       GnuCash	is a personal accounting package that allows you to record and track income, expenses, assets, and investments. It supports recon-
       ciliation, has substantial reporting capabilities, and is extensible using guile. It can import QIF data from Quicken(TM)  and  many  other
       commercial accounting packages. It uses GTK+ and GNOME to provide an attractive user interface, and has extensive online help.

OPTIONS

       --version
	      Show GnuCash version

       --usage
	      Show GnuCash usage information

       --help Show this help message

       --debug
	      Enable debugging mode

       --loglevel
	      Set the logging level from 0 (least) to 6 (most)

       --nofile
	      Do not load the last file opened

       --config-dir
	      Set configuration directory

       --share-dir
	      Set shared directory

       --load-path
	      Set the search path for .scm files

       --doc-path
	      Set the search path for documentation files

       --evaluate
	      Evaluate the guile command

       --load Load the given .scm file

       --add-price-quote
	      Add price quotes to the given data file

       --load-user-config
	      Load the user configuration

       --load-system-config
	      Load the system configuration

       --rpc-server
	      Run the RPC Server

FILES

       ~/.gnucash/config.auto
	      Automatically generated per-user configuration file.  DO NOT EDIT MANUALLY!

ENVIRONMENT

       GNC_DEBUG
	      Enable debugging output.	This allows you to turn on the debugging earlier in the startup process than you can with --debug.

       GUILE_LOAD_PATH
	      An override for the GnuCash scheme load path. You shouldn't need to alter this.  For more information see the README file.

       GNC_MODULE_PATH
	      An  override  for  the GnuCash scheme load path for Gnucash modules. You shouldn't need to alter this.  For more information see the
	      README file.

BUGS

       Please report any bugs using the bug reporting form on the GnuCash web site.

SEE ALSO

       GnuCash has extensive on-line help available from the "help" menu.

       Additional information and the latest version is available at the web site: http://gnucash.org

AUTHOR

       Robert Merkel <rgmerk@mira.net> wrote this manpage.

       GnuCash was written by Robin Clark, Linas Vepstas, and a cast of thousands.

Version 							   February 2003							GNUCASH(1)