flyspeck/jHOLLight at master · flyspeck/flyspeck · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
Examples		Examples
JHOL.app/Contents		JHOL.app/Contents
Tests		Tests
caml		caml
docs/HOL-SSReflect		docs/HOL-SSReflect
release		release
src		src
tools		tools
.classpath		.classpath
.project		.project
README		README
build.xml		build.xml
echobot		echobot
echobot.bat		echobot.bat
gui.xml		gui.xml
hol		hol
holdaemon		holdaemon
jhol.bat		jhol.bat
jhol.sh		jhol.sh
terminal		terminal
terminal.bat		terminal.bat

README

Build with ant.
Run holdaemon with root.
holdaemon requires commons-daemon to be installed with jsvc in the path

    ---Joe Pleso