<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'>
Hi everybody,<BR>
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.<BR><BR><BR>
<DIV><FONT color=#5f497a><STRONG>Kirupashankar Sampath</STRONG></FONT></DIV>
<DIV><FONT color=#5f497a><STRONG>7907 N Backer Ave,</STRONG></FONT></DIV>
<DIV><FONT color=#5f497a><STRONG>Fresno, CA 93720.</STRONG></FONT></DIV>
<DIV><STRONG><FONT color=#5f497a>Ph: 817-715-5576</FONT> <BR></STRONG></DIV><BR><BR> </body>
</html>