Generic version of spassshell.  Add SPASS_HOME to .bashrc so that shell script can find it.
Generic version of spassshell.  Add SPASS_HOME to .bashrc so that shell script can find it.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle