Specs: Make </> automatically close the last open tag, so you don't have to repeat yourself all the…

sky/specs/markup.md

 Sky Markup: Syntax
 ==================
 
 A Sky file must consist of the following components:
 
  1. If the file is intended to be a top-level Sky application, the
     string "``#!mojo mojo:sky``" followed by a U+0020, U+000A or
     U+000D character.
 
     If the file is intended to be a module, then the string "SKY", a
@@ skipping 116 matching lines @@
           substring ``</style``. The sequence must be valid sky style.
         - Otherwise, zero or more of the following, in any order:
           - comments
           - text
           - escapes
           - elements
      4. Finally, the end tag, which may be omitted if the element's tag
         name is not ``template``, consisting of:
         1. ``<``
         2. ``/``
-        3. Same sequence of characters as "tag name" above.
+        3. Same sequence of characters as "tag name" above; this may
+           be omitted if no start tags have had their end tag omitted
+           since this element's start tag, unless this element's tag
+           name is ``script`` or ``style``.
         4. ``>``
 
 
 Sky Markup: Elements
 ====================
 
 The Sky language consists of very few elements, since it is expected
 that everything of note would be provided by frameworks.
 
 The following elements are implicitly registered by default, even if
@@ skipping 66 matching lines @@
 
 The following attributes are available on all elements:
 
 * ``id=""`` (any value)
 * ``class=""`` (any value, space-separated)
 * ``style=""`` (declaration part of a Sky style rule)
 * ``lang=""`` (language code)
 * ``dir=""`` (ltr or rtl only)
 * ``contenteditable=""`` (subject to future developments)
 * ``tabindex=""`` (subject to future developments)