Next: Scripting GPS, Previous: Adding support for new tools, Up: Customizing and Extending GPS [Index]