src/HOL/Tools/ATP/spassshell
author paulson
Mon Oct 10 15:35:29 2005 +0200 (2005-10-10)
changeset 17819 1241e5d31d5b
parent 16091 3683f0486a11
permissions -rwxr-xr-x
small tidy-up of utility functions
     1 #!/bin/sh
     2 #  ID: $Id$
     3 # Shell script to invoke SPASS and filter the output
     4 
     5 `isatool getenv -b SPASS_HOME`/SPASS  $* | \
     6     `isatool getenv -b ISABELLE_HOME`/src/HOL/Tools/ATP/testoutput.py
     7