#!/bin/sh
#  ID: $Id: spassshell,v 1.5 2005/05/26 16:34:24 paulson Exp $
# Shell script to invoke SPASS and filter the output

`isatool getenv -b SPASS_HOME`/SPASS  $* | \
    `isatool getenv -b ISABELLE_HOME`/src/HOL/Tools/ATP/testoutput.py

