Add history navigation to typewriter input#432

414owen wants to merge 1 commit into

leanprover-community:mainleanprover-community/lean4game:mainfrom

414owen:os/history414owen/lean4game:os/historyCopy head branch name to clipboard