Add pluggable in-browser TLC regression tests for lessons#11

FedericoPonzi merged 1 commit into

maintlaplus/tla-by-example:mainfrom

fponzi/tlcweb-regtlaplus/tla-by-example:fponzi/tlcweb-regCopy head branch name to clipboard