7 More Discussions You Might Find Interesting
1. What is on Your Mind?
New O'Reilly books...
URL: New O'Reilly books - Album on Imgur
I'll bet many of you have come across a few of these... ;oD (0 Replies)
Discussion started by: wisecracker
0 Replies
2. What is on Your Mind?
;oD
I received this snippet on facebook the other day...
Enjoy:- (0 Replies)
Discussion started by: wisecracker
0 Replies
3. What is on Your Mind?
How about a thread to show your Desktop, Console or computing environment...
This is my current MacBook Pro 13 inch screen...
Let's see some others no matter how boring... ;oD (7 Replies)
Discussion started by: wisecracker
7 Replies
4. AIX
it shows up after the upgrade to SF240_415, after 2 hrs.
amber light shows up on the led of 9111-520, but alog shows:
everything seems to work, not sure what's going on.. (6 Replies)
Discussion started by: ppchu99
6 Replies
5. AIX
Hi all,
we are using IBM e series server on which AIX 5.3 is runing , we got orange light on our server, so please can any one suggest me how to diabled this light. thanks alot in advance
i followed these instruction befor but i couldn't able to diabled these light
#diag
then... (2 Replies)
Discussion started by: younusdba
2 Replies
6. Solaris
hi all,
we've got an amber maintenance light on the front of our Netra-t4. I can't find out what's causing this issue. I've logged into the lom, and found the following. There's nothing in messages or prtdiag. Disks appear to be ok. Are there any other lom commands that can help?
... (6 Replies)
Discussion started by: badoshi
6 Replies
7. UNIX for Dummies Questions & Answers
Does anyone know how to reset a network printer to allow for the daylight savings?:) (0 Replies)
Discussion started by: Tweedy
0 Replies
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)
