History browser/viewer.mli