razor: added timestamp and TM_REPL api