[Doc-SIG] Formalizing StructuredText

[Edward D. Loper]

I've started working on a project to formalize StructuredText (in 
particular, STNG and STpy).  I am using a slightly extended 
version of EBNF to write the formal descriptions.  See the project
proposal for more information:
    http://www.cis.upenn.edu/~edloper/pydoc/stminus.html

A preliminary formalization is available at:
    http://www.cis.upenn.edu/~edloper/pydoc/stminus-001.html

I would appreciate any feedback. :)

-Edward