[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: @defun and @defvr in the "same" block?

From: Raymond Toy
Subject: Re: @defun and @defvr in the "same" block?
Date: Fri, 25 Nov 2022 16:32:41 -0800

On Tue, Nov 22, 2022 at 11:17 PM Gavin Smith <> wrote:
On Wed, Nov 23, 2022 at 07:14:53AM +0000, Gavin Smith wrote:
> Brian Reid's 1980 thesis (referenced on Wikipedia) is still available
> on the Internet Archive:

Also an earlier (and typographically poorer) document from 1978:

Thanks for the links!  I don't really plan on converting any more Scribe docs, but these are quite useful to have in case I need to tweak the conversions that I've already done.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]