...
For more extensive documentation on the GOAL programming language itself or the use of the Eclipse plug-in, see see the GOAL Programming Guide.For more extensive documentation on the testing framework (test2g files), see Testing and the GOAL-Eclipse User Manual.