richard-evans/vampire — pull request #3 by biternas (2014-02-14 07:34:36+00:00)
Title: Coloured text Console. Qhull merge, New makefile, New MS VS project file...

...s for 64bit, More comments for doxygen generation.

-Coloured text console using a new function;
-Add Qhull files and creating new makefile for this;
-VS project files create 64bit version;
-Add /// in some comments in order to appear in doxygen;