[Ur] Server threads?

[Chris Double]

On Sat, Dec 18, 2010 at 2:16 AM, Adam Chlipala <adamc at impredicative.com> wrote:
>
> Neither of these is supported now, but neither should be hard to add.  If
> you open Mantis issues for one or both, I should get to them some time soon.

Thanks, I've added them. Now that I've gotten over my fear of
registering with mantis I'll try and do this for any issues I come up
with.

Chris.
-- 
http://www.bluishcoder.co.nz