On Fri, Jun 23, 2017, 1:56 AM Nicolas Goaziou
wrote:
>
> Sure, go ahead. Thank you.
>
Thanks, done.
> --
Kaushal Modi
Kaushal Modi writes:
> OK to push this after that change?
Sure, go ahead. Thank you.
Regards,
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
Hello,
Kaushal Modi writes:
> 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?
Regards,
--
Ni
A quick update.. the attached patch has minor formatting fixes over the
previous one.
Please use this patch for review.
Thanks.
On Thu, Jun 22, 2017 at 3:01 PM Kaushal Modi wrote:
> Hello,
>
> Thanks. My comments are below, and the updated patch is attached.
>
--
Kaushal Modi
0001-Improve-
Hello,
Thanks. My comments are below, and the updated patch is attached.
In addition to your suggestion:
- Replaced ``Noweb'' with ``noweb'' every where. I am still bugged by the
inconsistency that some places have ``noweb'' while some places have just
noweb (no quotes). Or would replacing all o
Hello,
Kaushal Modi writes:
> I have attached a patch (rebased off maint) that attempts at clarifying how
> certain aspects of noweb work based on my experience, with few complete
> examples.
Thank you. Some comments follow.
> Note: I had to also revert a little bit of wording change that was
Hello list,
I have attached a patch (rebased off maint) that attempts at clarifying how
certain aspects of noweb work based on my experience, with few complete
examples.
Note: I had to also revert a little bit of wording change that was made
recently. I found pre-wording-change version easier to
