> On Feb 9, 2015, at 5:46 PM, Larry Paulson <lp15 at cam.ac.uk> wrote: > > Whatever you do, don’t install Yosemite, as it is very unstable. Yosemite was troublesome for me until 10.10.2 and it is now quite usable. Gary