-
Download Jason here and unzip it
-
Make sure you have
JASON_HOME
properly set (it should have the directorieslibs
andscripts
inside), then setup thePATH
:export PATH=$JASON_HOME/scripts:$PATH
-
The Jason IDE based on jEdit can be run with
jason-ide
-
Jason projects (
.mas2j
files) can be run withjason ../somewhere/some-project.mas2j