# HG changeset patch # User Christian Urban # Date 1572909645 0 # Node ID d8a15207114b581a9ba9bbaa07342fcfb6c450a6 # Parent a479ec3ea536bac178e73fe6521f81cb0b3d8e13 updated diff -r a479ec3ea536 -r d8a15207114b handouts/pep-ho.pdf Binary file handouts/pep-ho.pdf has changed 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}