[plt-dev] help

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Apr 17 17:27:13 EDT 2009

At Fri, 17 Apr 2009 16:46:38 -0400, Eli Barzilay wrote:
> On Apr 17, Neil Van Dyke wrote:
> > Even a small application-specific synonym dictionary would be
> > helpful.
> > 
> > Or perhaps you already have synonym index entries in manuals, and
> > can add more such entries to the manuals as you find key ones are
> > missing.
> That's how it works now.

You mean the latter, right?

When writing the old docs, I added explicit index entries for synonyms,
and it was a pain. For the new docs, I threw out lots of synonym
entries when porting, because a synonym dictionary seems like a better
way to go, along with some automatic rules for plurals and things like
that. Eventually.

Posted on the dev mailing list.