And we're now using git, btw

That latest release of HOL4 was built from our git repository at github. Working with git has been a real pleasure, and the github issue-tracker has wormed its way into our workflow as well.  The sourceforge page is still our public face.