REPL history: print the timestamp before the mode.