Re: [Ur] Trouble getting started. Link errors.

[Adam Chlipala]

I'm out of ideas.  If the problem can be replicated somewhere that I can 
access via SSH, I can take a stab at more interactive debugging.

_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur