benfry 729c0589d8 fix for linux run script

2008-07-28 14:36:30 +00:00

..

dist

fix for linux run script

2008-07-28 14:36:30 +00:00

dist.sh

adding ecj as compiler

2008-07-28 03:12:30 +00:00

make.sh

adding ecj as compiler

2008-07-28 03:12:30 +00:00

run.sh

something odd happened with run.sh

2007-06-24 17:54:14 +00:00