4 Commits

Author	SHA1	Message	Date
castano	0b3959e1a1	Linux fixes. Thanks to Rico Tzschichholz.	2011-10-11 22:22:29 +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	3c0ab2d3f3	Merge changes from the witness.	2011-09-27 17:48:46 +00:00