diff --git a/eclipse/images/eclipse-preferences.png b/eclipse/images/eclipse-preferences.png new file mode 100644 index 000000000..1bc3aded9 Binary files /dev/null and b/eclipse/images/eclipse-preferences.png differ diff --git a/eclipse/index.html b/eclipse/index.html index 50c9de24f..6583ab386 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -11,7 +11,7 @@

The GF Eclipse Plugin

John J. Camilleri
-Updated: 11 June 2012

+Updated: 12 June 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 (the MOLTO Project).

@@ -67,6 +67,9 @@ Updated: 11 June 2012

Release history

+
12/06/12
+
(1.5.1.x) Support for scoping when library sources not available. Performance and implementational improvements to External Library View.
+
19/04/12
(1.5.0.x) Removed need for .gfexternal folder. Much improved “External Libraries” view allows you to search in current scope. Memory usage improvements in scoping implementation. Validation now occurs on file open. Re-added GF Library Path field in preferences.
@@ -155,12 +158,15 @@ Updated: 11 June 2012

  1. Add the GF perspective by clicking Window → Open Perspective → Other and choosing GF.
    2. -
  2. The plugin will try to determine the path to your GF executable automatically. You can check/overwrite it by going to Preferences → Grammatical Framework. -This path should include the name of the GF binary itself, e.g. /home/john/.cabal/bin/gf or C:\Users\John\GF\gf.exe.
    3. -
  3. By default, the Library path setting is set to .:alltenses:prelude. This is passed to GF using the --path flag.
    4. +
  4. Open the plugin settings by going to Preferences → Grammatical Framework (image below).
    5. +
  5. The plugin will try to determine the path to your GF executable automatically, but this may need to be corrected. The path should include the name of the GF binary itself, e.g. /home/john/.cabal/bin/gf or C:\Users\John\GF\gf.exe.
    6. +
  6. The Additional path directive setting can be used if you want to avoid writing --# -path=... directives in your source files. By default it is set to .:alltenses:prelude, but can also be left blank. This is passed to GF using the --path flag.
    7. +
  7. If you are using pre-compiled version of the Resource Grammar Library (i.e. you didn’t build them yourself from source) but you still have the sources available on your system, then you can enter to that path here. This is optional and is only used for jumping to source definitions. You should enter the absolute system path up to and including the src folder, e.g. /home/john/GF/lib/src/.
  8. You can also adjust the verbosity level of the GFEP console log in the preferences window.
+

Plugin preferences window

+

Updating the plugin