[Ur] New release

[Darin Morrison]

On Sat, Sep 26, 2009 at 6:16 PM, Adam Chlipala <adamc at impredicative.com> wrote:
> nitralime wrote:
>>
>> I didn't get this error in Safari 4.0.3.
>> However, the borders around the grid elemets
>> are missing!
>
> I have no idea how to deal with this, and it's infeasible for me to test
> anything on a Mac, so I'll ignore this for now.

There are Linux browsers available that use webkit.  I think you can
also just use webkit itself on Linux as an extremely barebones
browser.  That should be a good approximation of using Safari on a
Mac.

-- 
Darin