6 Commits

Author	SHA1	Message	Date
castano	20c5078e93	Fix tabs.	2012-05-03 17:12:49 +00:00
castano	c784e03be5	Try to increase robustness of thread pool.	2012-05-03 17:04:53 +00:00
castano	1248743859	Merge changes from The Witness.	2012-02-14 16:35:42 +00:00
castano	fcd296cd81	Merge changes from the witness.	2011-09-28 01:45:08 +00:00
castano	2364f539eb	Porting parallel stuff to unix.	2011-09-27 18:12:32 +00:00
castano	5081360073	Add missing file.	2011-09-27 17:51:13 +00:00