#!/usr/bin/sed -f
{
  s@/tmp@E:/E_2/dev/Isabelle2013-2/contrib/cygwin/tmp@g
  s@/cygdrive/e@E:@g
  s@win7/agsyHOL@win7/agsyHOL.exe@g 
  s@--proof@@g
}

# s@/cygdrive/e@E:@g is needed for "overlord=true".

# Change "E:/E_2/dev/Isabelle2013-2" to your Isabelle install folder.
# Change "win7" to some part of your path that's before agsyHOL.exe 
# The scripts "agsyHOL" and "agsyHOL_cyg2win.sed" should in the folder.

# *) With Sledgehammer option "overlord=false", the input will be something like:
#     '/cygdrive/e/E_2/dev/isaATP/agsyHOL-131206/win7/agsyHOL' --proof --time-out 60 '/tmp/isabelle-jv9020/prob1616544_1'
# *) The sed script does the following:
#    *) Changes tmp path from a Cygwin path to a Windows path.
#    *) Changes "/cygdrive/e" to "E:".
#    *) Adds the "exe" extension to "agsyHOL"; the "win7" is just for something
#       unique in the path to search on.
#    *) Eliminates "--proof" because it causes an error.