Hi Eran's instructions worked for me, without a glitch.
Manu
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
- [Ur] Installing Ur/Web on Mac OSX (using homebrew) Eran Meir
- Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) Adam Chlipala
- Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) Todd Roth
- Re: [Ur] Installing Ur/Web on Mac OSX (using homebr... Adam Chlipala
- Re: [Ur] Installing Ur/Web on Mac OSX (using homebrew) manu delab
