hol-light(1) [debian man page]

HOL-LIGHT(1)						      General Commands Manual						      HOL-LIGHT(1)

NAME

       hol-light - HOL Light interactive theorem prover

SYNOPSIS

       hol-light [options...]

DESCRIPTION

       The  command  hol-light	is  a  simple  wrapper	for  calling ocaml and loading the HOL Light basic definitions (by loading /usr/share/hol-
       light/hol.ml instead of .ocamlinit as initialization file). Loading these definitions takes about 2 minutes on modern hardware,	please	be
       patient. All options and other arguments are passed as options to ocaml.

       If you have a readline-editor such as rlwrap, ledit or rlfe installed, the hol-light ocaml toplevel is wrapped in readline-editor.  Install
       just one of these readline editors or configure your preferred one via the alternative system.

SEE ALSO

       ocaml(1), readline-editor(1), rlwrap(1), ledit(1), rlfe(1)
       HOL Light documentation at http://www.cl.cam.ac.uk/~jrh13/hol-light/

AUTHOR

       The hol-light script and this manual page were written by Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may	be
       used by others).

								  March  16, 2012						      HOL-LIGHT(1)

vga_setegacolor(3)						Svgalib User Manual						vga_setegacolor(3)

NAME

       vga_setegacolor - set the current color

SYNOPSIS

       #include <vga.h>

       void vga_setegacolor(int color);

DESCRIPTION

       Set the current color to be a color resembling the color-th EGA coler. This works regardless of the depth of the current video mode.

       The color is used by vga_drawpixel(3) and vga_drawline(3).

       Valid values for color are:

       0      - black.
       1      - blue.
       2      - green.
       3      - cyan.
       4      - red.
       5      - magenta.
       6      - brown.
       7      - grey.
       8      - dark grey (light black).
       9      - light blue.
       10     - light green.
       11     - light cyan.
       12     - light red.
       13     - light magenta.
       14     - yellow (light brown).
       15     - white (light grey).

       The fun(6) and vgatest(6) demos show the basic use of this function.

SEE ALSO

       svgalib(7), vgagl(7), libvga.config(5), fun(6), vgatest(6), vga_setcolor(3), vga_setrgbcolor(3), vga_drawpixel(3), vga_drawline(3)

AUTHOR

       This manual page was edited by Michael Weller <eowmob@exp-math.uni-essen.de>. The exact source of the referenced function as well as of the
       original documentation is unknown.

       It is very likely that both are at least to some extent are due to Harm Hanemaayer <H.Hanemaayer@inter.nl.net>.

       Occasionally this might be wrong. I hereby asked to be excused by the original author and will happily accept any additions or  corrections
       to this first version of the svgalib manual.

Svgalib (>;= 1.2.11)						   27 July 1997 						vga_setegacolor(3)