<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'>
Hi Marc,<BR>
Thank you for your reply. I would really appreciate if you can give me the shell account. I would like to start seeing Ur sooner rather than spending lot of time installing.<BR>
I will simultaneously try virtual box on my windows. Thanks again.<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><BR>
<BR>
> From: marco-oweber@gmx.de<BR>> To: ur@impredicative.com<BR>> Date: Wed, 1 Dec 2010 13:25:25 +0100<BR>> Subject: Re: [Ur] NEW USER NEED HELP WITH INSTALLATION<BR>> <BR>> Excerpts from sampath kirupa shankar's message of Wed Dec 01 05:45:09 +0100 2010:<BR>> > 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>> If a shell is good enough I can provide an account which is able to run<BR>> urweb easily (running nixos linux).<BR>> Send me an email if you're interested.<BR>> <BR>> For windows you have the following options:<BR>> <BR>> - linux using virtualization (eg virtualbox) (32 and 64bit)<BR>> <BR>> - linux using a linux kernel which urns natively on Windows (eg colinux,<BR>> 32bit only)<BR>> <BR>> - try cygwin (probably nobody has tried running urweb on cygwin before.<BR>> So if you want to get started I'd not spend too much time on it -<BR>> depending on settings cygwin also executes slower due to permission<BR>> checkings etc - Thus its likely that you would be spending more time<BR>> than necessary on configuring etc )<BR>> <BR>> If you have virtualizing support in your computer virtualbox will be the<BR>> most simple solution to get up a linux system running because networking<BR>> just works etc.<BR>> <BR>> By the way: WRITING UPPER case only could be considered shouting - writing<BR>> everything in upper case will triggers a "this is spam" feeling in my<BR>> mind. So I tend to delete mails like this without reading.<BR>> Maybe that's because I missed it in the first place (?)<BR>> <BR>> regards<BR>> Marc Weber<BR>> <BR>> _______________________________________________<BR>> Ur mailing list<BR>> Ur@impredicative.com<BR>> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur<BR> </body>
</html>