2 Commits (2dbbf294214eb8b37d9a651bd3e4c2213c68ec41)

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