Hi Marc, 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. I will simultaneously try virtual box on my windows. Thanks again.
Kirupashankar Sampath 7907 N Backer Ave, Fresno, CA 93720. Ph: 817-715-5576 > From: [email protected] > To: [email protected] > Date: Wed, 1 Dec 2010 13:25:25 +0100 > Subject: Re: [Ur] NEW USER NEED HELP WITH INSTALLATION > > Excerpts from sampath kirupa shankar's message of Wed Dec 01 05:45:09 +0100 > 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. > > If a shell is good enough I can provide an account which is able to run > urweb easily (running nixos linux). > Send me an email if you're interested. > > For windows you have the following options: > > - linux using virtualization (eg virtualbox) (32 and 64bit) > > - linux using a linux kernel which urns natively on Windows (eg colinux, > 32bit only) > > - try cygwin (probably nobody has tried running urweb on cygwin before. > So if you want to get started I'd not spend too much time on it - > depending on settings cygwin also executes slower due to permission > checkings etc - Thus its likely that you would be spending more time > than necessary on configuring etc ) > > If you have virtualizing support in your computer virtualbox will be the > most simple solution to get up a linux system running because networking > just works etc. > > By the way: WRITING UPPER case only could be considered shouting - writing > everything in upper case will triggers a "this is spam" feeling in my > mind. So I tend to delete mails like this without reading. > Maybe that's because I missed it in the first place (?) > > regards > Marc Weber > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
