Configure options with a single dash
Test of an updated version of coq HoTT
MathClasses and CoRN added
Configure patch removed
Install command for Math Classes
Coq HoTT compiling
Coq HoTT renamed to coq-HoTT and compiling with coqide
Concurrency package added
-coqide option removed
Concurrency folder flattened
Dependency updated
Useless (?) file removed
Cosmetic
Merge pull request #13 from clarus/master

Configure options with a single dash