[Fortress-interest] Tiny Fortress editor for Eclipse

[Markus Gaisbauer]

Hi,

I wrote a small Eclipse plugin that allows editing Fortress code in
Eclipse. Basically it is just a syntax highlighter (comments, strings,
keywords) with support for code completion on keywords and some ASCII
abbreviations for Unicode characters such as the Greek alphabet (e.g.
LAMBDA) and general Unicode names such as
GREEK_SMALL_LETTER_IOTA_WITH_DIALYTIKA_AND_TONOS.
To use the editor, create a new file that ends with .fss, set the
encoding to UTF-8 and open the file with the "Fortress Editor".
It is also possible to automatically invoke the interpreter after saving
a source file. To enable this feature, go to Window-Preferences-Fortress
and set the path to the directory containing the Fortress interpreter
(the root directory containing the scripts, LICENSE..). The output of
the interpreter will be printed to the Eclipse console.

To try it out, use the following update site:
http://n.ethz.ch/student/gmarkus/download/update/

Markus