-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 12/1/10 5:45 PM, sampath kirupa shankar wrote: > 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.
To the best of my knowledge, there is no Windows support in the current implementation of Ur/Web. Consequently, it's very unlikely to work without someone doing a lot of work to port it. You could possibly try using a Windows build of mlton to build it, and then running it from within a Cygwin environment, but I'm not sure that's going to necessarily work. I would suggest finding another machine which has a supported platform that will allow you to install according to the instructions in the manual. - --Gian -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJM9dPvAAoJEDd5xfOXfbYMX8gH/j0kIBIfv8f5f/Sod2vR0XMZ Q4q0l9sbdmsv8lJ2WgrTeFv56zsleRAODGuknd/mBwZ4oxau9Ih6SrjVtlCkEtMa 7WObv18A9c8KrIcVf0bKHquvQnVr1nQZdOYF3FMh1IF7JEIyu3jEFD16Ne36lucs 1rbKzIuNWOkvWsN8sK0eCv9JXuqyQl5bBbdoJJkyHTBtIVV0ouC2cg8QrASuyN4N agpAKvvV5xF9+FyGeJKqlDCujrCihL6va9jNpGRNnVJKW1ynpJGjuKqmh8+xPI1f sfV8+F99n0pAPNMQ3U8EPV3AAK/WxSp+Mc6j/klgqCNLeBB1rtaKxZBiGTxckf4= =/66o -----END PGP SIGNATURE----- _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
