vhf/free-programming-books — pull request #1067 by codrineugeniu (2014-07-29 00:45:52+00:00)
Title: Isabelle/HOL - fix anchor link

Anchor link for Isabelle/HOL was not working when viewing the Github parsed file.