Proof Logging in HOL Light Development Snapshot

Installing

1. First, get the development snapshot files by cloning the repo:

   mkdir <install-dir>
   cd <install-dir>
   git clone http://src.gilith.com/hol-light
   

2. Next, initialize this development snapshot of HOL Light:

   cd hol-light
   make
   

Updating

Pull the latest version of the development snapshot files:

cd <install-dir>/hol-light
git pull