1. 2014-10-28 [ jEdit-devel ] [jedit:bugs] #3890 HTML/XHTML DTD and jedit-dev Alan Ezust 2. 2014-10-28 [ jEdit-devel ] [jedit:bugs] #3890 HTML/XHTML DTD and jedit-dev Alan Ezust