Query: hol-light
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
HOL-LIGHT(1) General Commands Manual HOL-LIGHT(1)NAMEhol-light - HOL Light interactive theorem proverSYNOPSIShol-light [options...]DESCRIPTIONThe 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 ALSOocaml(1), readline-editor(1), rlwrap(1), ledit(1), rlfe(1) HOL Light documentation at http://www.cl.cam.ac.uk/~jrh13/hol-light/AUTHORThe 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)
Related Man Pages |
---|
apt-cudf-get(8) - debian |
vga_setegacolor(3) - mojave |
vga_setegacolor(3) - suse |
vga_setegacolor(3) - redhat |
vga_setegacolor(3) - hpux |
Similar Topics in the Unix Linux Community |
---|
Day Light Savings Time problem |
Question about the system() function in C |
test: ] missing |
Netra 440 maintenance light on |
Recommendation for hardware to run SCO OSR 5.0.7 natively |