Este es el código exacto:
Código:
<script>
function write1(){
if (window.history.previous=="http://kareol.vndv.com/html/libretos/menulibretos.html"){
document.getElementById('divisionmensaje').innerHTML='<a href=javascript:history.go(-1)>Ir al menú de libretos</a>'
}
else {
}
}
</script>
Hay un elemento en el que me equivoqué, en vez de document.history es window.history, pero aún sigue sin funcionar.