HoTT/book — pull request #752 by Pierre-Yves-Gaillard (2014-12-25 06:31:43+00:00)
Title: Changed version.txt to version.tex  (twice)

Changed version.txt to version.tex (twice).