HoTT/HoTT — pull request #17 by andrejbauer (2012-10-06 04:25:52+00:00)
Title: Improved installation procedure

Installation procedure now works better, and it is also easier to explain where to find the custom Coq executables by specifying the COQBIN variable (rather than COQTOP, COQC, COQDEP).