#!/usr/bin/env bash
echo $0 $@ | /cygdrive/e/E_2/dev/isaATP/agsyHOL-131206/win7/agsyHOL_cyg2win.sed | bash
#Change to this to check the filter.
#echo $0 $@ | /cygdrive/e/E_2/dev/isaATP/agsyHOL-131206/win7/agsyHOL_cyg2win.sed > /cygdrive/e/E_2/dev/isaATP/agsyHOL-131206/win7/agsyHOL_cyg2win_out.txt


#*) With Sledgehammer option "overlord=true", the input to ATP agsyhol will be a 
#   command in the file $ISABELLE_HOME_USER/prob_agsyhol_1, something like:
#     '/cygdrive/e/E_2/dev/isaATP/agsyHOL-131206/win7/agsyHOL' --proof --time-out 60 '/cygdrive/e/E_1/02-p/pi/home/.isabelle/Isabelle2013-2/prob_agsyhol_1'
#*) The command run through agsyHOL_cyg2win.sed should look something like
#     E:/E_2/dev/isaATP/agsyHOL-131206/win7/agsyHOL.exe --time-out 60 E:/E_1/02-p/pi/home/.isabelle/Isabelle2013-2/prob_agsyhol_1
#*) With "overlord=false", the problem file will be created in Cygwin /tmp,
#   which is not seen as /tmp to Windows.