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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
