Katie,
I downloaded the file "dongle driver for Macintosh"from the downloads page here, and then tried through aladdin. Neither worked, unless I am doing something wrong! I downloaded 12.5 the upgrade through here because the disks that I have are 12.0. I have reverted back to 12.0 for the time being
because I am a teacher and my lab has to be up !
THanks for your help.