Merging PRs

Hi folks,

I think we’re having an ixml meeting today, since Michael posted an
agenda and no one proposed pushing it off to December.

I’d like to get agreement to merge #157, #158, #159, and #160 today.

If there’s agreement that automatically generating the ixml and xml
grammars from the spec is “a good thing”, then I’d like agreement to
merge #166 as well, though that will probably need a bit of tweaking
after we merge the others.

In case it makes it easier, remember that you can see formatted versions
of these changes:

157, https://ixml.nwalsh.com/branch/fix-erratum-e001/
158, https://ixml.nwalsh.com/branch/minor-ammendments/
159, https://ixml.nwalsh.com/branch/syntax-highlighting/
160, https://ixml.nwalsh.com/branch/controls/
166, https://ixml.nwalsh.com/branch/gen-grammars/

And if you add “autodiff.html” to the end of each of those URIs, you’ll
get the diff version. Note that the diff version for
“syntax-highlighting” and “gen-grammars” are a little messy because the
changes are in markup and CSS that’s not as directly visible in the
diff.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica