An update on the empty solution problem that I was experiencing with Spec# - if I run up VS2005 and try to create a new Spec# project (any type, console app, windows app or class library) I was getting the project created, but the solution pane within VS was blank.

I'm running Vista (build 5744), and wondered if that had caused an issue somewhere, so I've just tried an install of Spec# on a VM running XP - and it works just fine. So I'm guessing that somewhere during either the VS2005 install or the Spec# install on Vista, something somewhere doesn't register properly. If / when I get (very!) bored, I may try comparing the registry entries etc to see if I can locate the problem.