marijnh/CodeMirror2 — pull request #479 by eustas (2012-04-03 12:17:15+00:00)
Title: HTML: end tag may be omitted if there is no more content in the parent 

Reference:
http://www.w3.org/TR/html5-author/syntax.html#syntax-tag-omission

The only difference is that we do not check that parent of <p> element is not <a> element.

I plan to add some other omission cases (when end tag is omitted when specific opening tag arrives) in next patch.