>>800
working copyなら svn up -r800
exportなら svn diff -r1000:800 > diff を作って当てる