News for hackers. Stuff that matters.
Re:The C standard formalized in Coq by vinceyuan on Monday November 30, 2015 @09:33AM (#10649555)
Thanks. Safari is my main browser. I prefer cmd+= to the extension. I found zooming in Safari is much better than in Chrome. Zooming one tab in chrome makes all tabs zoom. That is ridiculous.

There are no comments on this comment yet.