#!/bin/csh

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

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