17 Sep
2012
17 Sep
'12
12:58 p.m.
On 17/09/12 11:30, David Matthews wrote:
Are you sure you checked out the 5.5 branch? You need something like svn co https://polyml.svn.sourceforge.net/svnroot/polyml/fixes-5.5/polyml polyml-5.5fixes I don't think you can switch the 5.4 branch over but maybe there's some svn command to do it. It's probably simpler just to check out the correct branch.
"svn switch" is the command you want, for future reference...
--
Alexander Merry
DPhil Computer Science
Department of Computer Science
University of Oxford