From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Aug 23 13:10:01 EDT 2010 |
|
At Mon, 23 Aug 2010 12:39:14 -0400, Eli Barzilay wrote: > > It certainly is a mighty pity that typing "internal define" yields > > no hits in Help Desk. (Eli, are you reading?) > > It's a matter of adding an index term, IIRC. Maybe Jon will want to > add that? It's already indexed as "internal definition" (and I don't think we should go back to trying to manually index variants of phrases).
Posted on the users mailing list. |
|