main.hh
Wed, 18 Jul 2012 22:34:51 +0100 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY.
Wed, 18 Jul 2012 16:56:36 +0100 Mario de Sousa Fixing includes to define INTxx_MAX etc...
Sat, 16 Jun 2012 07:41:30 +0100 Mario de Sousa Add file missing from previous commit.