Browser: IE5.5
i've taken a look at the headers they seem ok
May i suggest that you add max_age=0 in:
header ("Cache-Control: no-cache, must-revalidate, max_age=0");
and also i think what could create some trouble is :
header('Last-Modified: '.gmdate('D, d M Y H:i:s').' GMT');
in case there are some issues with server vs client time or the server time is not set correctly
but i'm not an expert at headers and browser caching behaviour )
Thanks for the replies