I tried to search a tool that can display current OpenGL driver informations and extensions. I didn’t found anything. So I’ve made one you can download it here:
If someone else can test it. It enumerates the extensions and links directly on SGI database in order to retrieve the documentation. I think it’s quite useful tool when developing the OpenGL extensions.