diff --git a/eclipse/index.html b/eclipse/index.html index 731d1684b..2b303fd9d 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -1,7 +1,7 @@
John J. Camilleri
-Updated: 19 March 2012
The research leading to these results has received funding from the European Union’s Seventh Framework Programme (FP7/2007-2013) under grant agreement no. FP7-ICT-247914.
@@ -49,7 +49,10 @@ Updated: 19 March 2012Project1 or Project2 in the example above.)
+The GF Nature and the GF Builder are what make a regular Eclipse project a GF project. If you create a new GF Project +from scratch then you don’t need to worry too much about them. If you already have some project set up in your Eclipse +workspace, then you will need to associate these two items with your project in order for all the GF goodness to work.
+ +As of 1.4.2, this can be done very easily by right-clicking on your project in the explorer and clicking Add/Remove GF Nature & Builder. +If your project has the GF icon overlayed on it, then the GF nature and builder are correctly associated with it.
+
@@ -361,3 +373,58 @@ Each time you save a file (or some other change occurs in your project), the bui
Description of some of the icons which are used in the GF Eclipse Plugin.
+ +| Icon | +Description | +Notes | +
|---|---|---|
![]() |
+ Abstract module | +abstract Foods = ... |
+
![]() |
+ Concrete module | +concrete FoodsEng of Foods = ... |
+
![]() |
+ Resource module | +resource ResFoods = ... |
+
![]() |
+ Interface | +interface LexFoods = ... |
+
![]() |
+ Instance | +instance LexFoodsEng of LexFoods = ... |
+
![]() |
+ Functor | +incomplete concrete FodosI of Foods = ... |
+
![]() |
+ Functor instantiation | +concrete FoodsEng of Foods = FoodsI with (...) ... |
+