This is an old revision of the document!
Plugin Installation
A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the plugins
folder of GOAL. For Mac users, the plugins
folder is located in GOAL.app/Contents/Resources/Java/plugins
Examples
Hello World
This plugin inserts
a menu and a menu item to the top menubar of the graphical interface, and
a command “hello” to the command-line interface.
Binary
Sources
Hello Complement
This plugin implements a buggy complementation algorithm and makes it accessible in the graphical interface and in the command-line interface.
Binary
Sources