Spoofax 1.5.0 (18-12-2015)

We’re happy to announce the release of Spoofax 1.5.0 with new SDF3 features and fixes, and support for Eclipse Mars.



  • Feature: support for case insensitive keywords. All keywords in a template production are case insensitive if the production has the attribute case-insensitive.
  • Feature: pretty-print ambiguous programs (by taking the first alternative).
  • Feature: give an error if the filename does not match the module name.
  • Fix: ESV generation with empty imports.
  • Fix: disallow empty placeholders <> in template productions.

Contributor: Eduardo Amorim


  • Feature: support for Eclipse Mars.
  • Feature: generation of premade Eclipse installations with Spoofax installed.

Contributor: Gabriel Konat

Command-line tools

  • Fix: Sunshine now pretty-prints ATerms before presenting them, mimicking the behavior in Eclipse.

Contributor: Gabriel Konat


Eclipse plugin

Premade Eclipse installations

New to this release are Eclipse Mars installations with Spoofax preinstalled and correct eclipse.ini settings. They come in a version which uses the Java 7 Runtime Environment (JRE) on your system, and a version with an embedded JRE7. See the getting started guide for instructions on how to get started with Spoofax.

Download a premade Eclipse installation for your platform, with embedded JRE7:

Without embedded JRE:

Update site

The latest stable version of the Spoofax Eclipse plugin is always published to the stable update site: http://download.spoofax.org/update/stable. See the getting started guide for instructions on how to get started with Spoofax.

This specific release is also published to the release/1.5.0 update site: http://download.spoofax.org/update/release/1.5.0.

If you’d like to update from a nightly version to this version, you must uninstall the nightly version and restart Eclipse before installing this version, to avoid version conflicts.

Sunshine JAR

Sunshine is the command-line tool for Spoofax that validates and transforms programs of Spoofax language implementations. The Sunshine JAR file corresponding with this release can be downloaded here. See the Sunshine documentation for more information on using Sunshine.

Maven artifacts

Maven artifacts can be found on our artifact server. The Maven version used for this release is 1.5.0. See the instructions on using MetaBorg Maven artifacts for more information.