[Ur] NEW USER NEED HELP WITH INSTALLATION

Tue Nov 30 23:45:09 EST 2010

Hi everybody,
I am Kirupashankar Sampath, a grad student at CSU Fresno, CA. I am interested in Ur and have started a project of proving the safety theorems of Ur language. I am not able to install Ur from the instructions on the home page. I have a windows vista.....could anybody please give me a step by step procedure for the installation. Thank you.

Kirupashankar Sampath
7907 N Backer Ave,
Fresno, CA 93720.
Ph: 817-715-5576 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20101201/543609dd/attachment.htm>