Title: Help facilities in a syntax-directed editor