The Stratego distribution is installed as part of the XT package in /projects/stratego/xt. To use the tools installed there add

/projects/stratego/xt/bin

to your path. This installation has been compiled on a Sun under Solaris (sunshine to be specific).

The current versions are stratego-0.4.17 and xt-0.3 (September 4, 2000).

There is also a Stratego installation at losser (a Linux machine) in the ST-lab. Contact Eelco Dolstra <edolstra@cs.uu.nl> for more information.