2 Commits (24f11168d9fdc2f71acb433d35e4c83003d7078a)

Author	SHA1	Message	Date
willthames	723af8c370	Ensure async terminates when time limit is not divisible by 5 ... Because async_wrapper subtracts 5 from time_limit and checks for equality to zero, values not divisible by 5 will go negative and continue forever.	2013-11-05 09:42:28 +10:00
Michael DeHaan	391fb98ee2	Allow modules to be categorized, and also sort them when generating the documentation.	2013-04-28 15:03:45 -04:00