[Doc-SIG] Formalizing ST

[Edward D. Loper]

Hmm.. So I'm starting to think that EBNF really isn't the best
formalism for capturing global formatting.  It works great for
local formatting (=coloring), but it just doesn't do a good
job of capturing indentation-related constraints.. So I'm thinking
of turning STminus into a two-part formalism: one part to describe
global formatting, and one to describe local formatting.  EBNF
or EBNFla would be used for local formatting, but I'm not sure
what to use for global formatting.  Any ideas?

-Edward