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
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
