User Tools
tla:repl:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
tla:repl:start [2018/08/30 17:29] jonathan |
tla:repl:start [2019/08/26 02:11] (current) jonathan |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| <code> | <code> | ||
| - | > tlaplus_repl157 | + | > tlaplus_repl160 |
| ------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------- | ||
| Welcome to the TLA+ REPL! This REPL uses the TLC model checker | Welcome to the TLA+ REPL! This REPL uses the TLC model checker | ||
tla/repl/start.1535650195.txt.gz · Last modified: 2018/08/30 17:29 by jonathan
Page Tools
