Hey, I'm new to mac hence all the questions, I apologize for having to create new threads each time but I come to dead ends. Two questions: I recently installed coq from : http://coq.inria.fr/ - It's a dmg file which when I mount opens a .pkg file. I opened the installer, chose my mac HD, and I waited for it to write the files...after the installation was over it wasn't in the applications folder, and I used spotlight and couldnt find coq anywhere.. I tried re-installing,dragging and dropping to applications e.t.c and I just can't seem to find it, I must've installed it 2-3 times.. I'm afraid that I must've done this for other software (after I figured out how to drag and drop) - So where is all my software going? - Wheres coq? - On another question, I messed around with crossover pro, and managed to install steam and it worked. I downloaded cs and installed it e.t.c - I played the game and everything, but I can't seem to find the installed folder. I tried looking for a .cfg to edit some of my settings but can't find it anywhere. I don't think I'm installing the software correctly or at all maybe? Some help please?