GaloisInc/cryptol — pull request #26 by victoredwardocallaghan (2014-05-08 09:36:47+00:00)
Title: Tex fixes

Fix building documentation on GNU/Linux.