Home | History | Annotate | Download | only in docs

Lines Matching refs:identifiers

5392     % . we're printing identifiers, they should be in tt in principle.
5394 % common to leave accents off identifiers. The result looks ok in
5398 % one has made identifiers using them :).