add REPL and version infomation