libkinput 0.6 (Default branch)

Tags

default, put, software releases

Special Forums News, Links, Events and Announcements Software Releases - RSS News libkinput 0.6 (Default branch)

12-30-2008

Registered User

26,240, 27

Join Date: Sep 2000

Last Activity: 1 August 2008, 3:09 PM EDT

Posts: 26,240

Thanks Given: 0

Thanked 27 Times in 26 Posts

libkinput 0.6 (Default branch)

libkinput is a small, lightweight command line editing library. It was written as a smaller alternative to the readline library. The main goal of the project is to implement a clean, lightweight, and easy to modify readline equivalent for small and medium CLI applications. It is part of ASNlibs. License: GNU General Public License v3 Changes:
Initial version, offering basic line editing and syntax completion mechanisms.

More...

Linux Bot

View Public Profile for Linux Bot

Find all posts by Linux Bot

Previous Thread | Next Thread

LEARN ABOUT DEBIAN

hol-light

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)