module Main
imports
Syntax
Analysis
Manual
language
extensions : spl
provider : target/metaborg/stratego.ctree
provider : target/metaborg/stratego.jar