Con:
Código PHP:
ver.innerHTML=http_request.responseText;
http_request.abort();
funciona, pero innerHTML no es estandar.
Con esto funciona, pero el codigo HTML no es interpretado por el navegador,
si no que muestra el codigo tal cual.
Código PHP:
var info;
info=document.createTextNode(http_request.responseText);
ver.appendChild(info);
http_request.abort();