diff -r a479ec3ea536 -r d8a15207114b handouts/pep-ho.tex --- a/handouts/pep-ho.tex Mon Nov 04 13:28:05 2019 +0000 +++ b/handouts/pep-ho.tex Mon Nov 04 23:20:45 2019 +0000 @@ -126,7 +126,7 @@ Brackets} 3.0.0. I have also bound the keys \keys{Ctrl} \keys{Ret} to the action ``Run-Selected-Text-In-Active-Terminal'' in order to quickly evaluate small code snippets in the Scala REPL. I use the internal - terminal to run Scala.\label{vscode}} + terminal to run Scala 2.13.1.\label{vscode}} \end{boxedminipage} \end{figure}