Commit 45f8e0a6dbafee22b5e6f5c94eca01b92b0ba0aa Parent c41bf11bb38ef513fa53f88b2c80afd1504aaeaf Author John MacFarlane <jgm@berkeley.edu> Date Fri, 12 Dec 2014 23:08:36 -0800 Updated benchmarks for new HTML renderer.