On Thu, Jun 22, 2017 at 3:58 PM Nicolas Goaziou <mail@nicolasgoaziou.fr> wrote:

> A quick update.. the attached patch has minor formatting fixes over the
> previous one.

Thank you. It looks good.

However, I think we can write Noweb, i.e., without quotes, like Emacs,
Org or MobileOrg. Quotes impedes reading process, IMO.

WDYT?

> Or would replacing all occurrences of ``noweb'' and noweb with Noweb be better?

Exactly! :)

OK to push this after that change?

Thanks.