Changes by Ron Adam <ron3200 at gmail.com>: ---------- title: Add 'symbols' link to html menu bar. -> Add 'symbols' link to pydoc's html menu bar. _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18387> _______________________________________