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

[Gavin Smith]

On Tue, Nov 22, 2022 at 04:47:08PM -0800, Raymond Toy wrote:
> On Tue, Nov 22, 2022 at 1:56 PM Gavin Smith <gavinsmith0123@gmail.com>
> wrote:
> 
> > On Tue, Nov 22, 2022 at 07:21:05AM -0800, Raymond Toy wrote:
> > > Oh, and for the record, look at
> > > https://cmucl.common-lisp.dev/doc/encycmuclopedia/devenv/cim.ps for the
> > > original Scribe version.  Look at the bottom of page 7.
> > >
> > > For the conversion, see the bottom of page 6 of
> > > https://cmucl.common-lisp.dev/docs/hem/cim/cim.pdf
> > >
> > > just so the various bits are in the correct index.
> >
> > Interesting to see the Scribe document - I don't think I've seen one
> > before.
> >
> 
> I've only ever seen 2 such docs.  I googled all over to find any kind of
> description of Scribe but failed.  Fortunately, there was the source doc
> along with the PS file, so I just kind of reverse-engineered what Scribe
> did to find a Texinfo equivalent.  The languages are surprisingly similar.

Brian Reid's 1980 thesis (referenced on Wikipedia) is still available
on the Internet Archive:  
https://web.archive.org/web/20140407073459/http://reports-archive.adm.cs.cmu.edu/anon/scan/CMU-CS-81-100.pdf