Thanks, you're right. I rebooted them and connected the Pandora using dhclient, and can SSH into the Pandora, and use the PC's internet from either.
If I try to connect from the Pandora with ifconfig to get a fixed IP address, it can't use the PC's internet connection - I guess I'd need to set up the DNS and gateway IPs correctly? But the Pandora always seems to be 10.42.0.54 anyway, so I might be OK unless I want to connect two Pandoras at once (and even then it would have a second network for the other one's MAC address, so might change the earlier digits instead).
I wish I could do this from the university computers, where the Pandora can't connect to wifi, but I suspect not. The networking is pretty locked down there.