#!/bin/csh

set sepbasedir = "~team3/BaX2/Problemspecification"
set sepcwd     = "$sepbasedir/ProblemAnalysis/GroupFormalization-1/ComposedPS-1"
set sepuser    = $user

rcp $1 "sep1:$sepcwd/$1.lock.$user" 
rsh sep1 "$sepbasedir/bin/unlock $sepcwd/$1"