Aleksey Nogin wrote: >> svn merge -r 8922:9051 > > Did you really mean 0.9.6.shell, or was that 0.9.6.x? This is .shell. The copy occurred at 9051, so there should be no difference. Jason -- Jason Hickey http://www.cs.caltech.edu/~jyh Caltech Computer Science Tel: 626-395-6568 FAX: 626-792-4257