MiraplacidTextDataDefinitionFileInfo { version 2; credits "Miraplacid Software"; license "CC BY-SA 3.0"; comments "HTML format"; extensions "html,htm"; mime_types "text/html"; include "elements.tdd"; IgnoreWhiteSpace; start HTML; } HTML=element+; element=singleton_tag |tag |text |comment_tag; tag=tag_beg element* tag_end; singleton_tag=("<" singleton_id attributes? ">" singleton_tag_end?) | ("<" id attributes? "/>"); singleton_tag_end=""; singleton_id= $"br" |$"hr" |$"li" |$"img" |$"meta" |$"link" |$"base" |$"basefont" |$"dt"; comment_tag=""; comment_text=[^>]*; tag_beg="<" id attributes? ">"; tag_end=""; attributes=attribute+; attribute=id equals_attribute_value?; equals_attribute_value= "=" attribute_value; attribute_value= string |int |id; text=[^<]+;