Let tlc.REPL maintain a history of commands.
Let tlc.REPL maintain a history of commands.

Stored in ~/.tlaplus/history.repl

[Feature][TLC]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus