2 Commits (47f5bac67e8e47a9675075086e65739f970585f0)

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