Thanks, Carl! I will try and update the installation to a newer version!
I just got an email from the user that the history loaded again on its own.
I took a look at the javascript console as you suggested but found no error
messages. I'm not sure if the issue is fixed, but upgrading to a newer
She got that error message when she clicked on settings and tried to view
saved histories.
It looks like this error when loading '/history/view' was fixed with
release_13.02:
https://github.com/galaxyproject/galaxy/commit/3deac8edfba8e8088de855789a28e7d3a328b9b5
If possible, you could update