On Thu, Jun 22, 2017 at 3:58 PM Nicolas Goaziou 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. -- Kaushal Modi