Hi all, I've been using Galaxy happily from both Mac and Linux machines, both on http://usegalaxy.org and our local server. Today I wanted to give a demo so I tried using Galaxy on a few Windows machines (problems with IE6 cropped up). However, I found a general problem (also affecting Firefox and Chrome) with stale pages... e.g. The history on the right hand column often required a manual refresh (via the blue icon top left of the history column) after running a tool. Also, and more confusingly, on logging in or logging out, the user menu did not automatically get refreshed, nor did the workflow page - it would show me workflows when logged out, or say I was logged out when I was logged in. In all these cases a hard refresh (shift/control + F5) made things right. My *guess* is that our Windows machines are all going via an institute proxy, while the Mac and Linux machines are not. Has anyone experienced anything similar, and could offer any tips for what to check? Thanks, Peter