w3c/html — pull request #15 by Osmose (2013-09-16 14:37:19+00:00)
Title: Fix bug 23252: Use <ul> for <nav> usage example instead of <p>s.

I had issues getting the makefile to build the spec, so apologies if there's an error that I missed. :)