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