diff -r 1b879b3e704e -r c71ae4477e55 cws/disclaimer.sty
--- a/cws/disclaimer.sty	Sat Sep 23 23:49:44 2023 +0100
+++ b/cws/disclaimer.sty	Wed Nov 01 15:01:32 2023 +0000
@@ -4,9 +4,9 @@
 \begin{itemize}
 \item #1  
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala <<filename.scala>>}} on the command line.\footnote{All
+  \mbox{\texttt{scala-cli <<filename.scala>>}} on the command line.\footnote{All
     major OSes, including Windows, have a command line. So there is no
-    good reason to not download Scala, install it and run it on your
+    good reason to not download scala-cli, install it and run it on your
     own computer. Just do it!} Use the
   template files provided and do not make any changes to arguments of
   functions or to any types. You are free to implement any auxiliary
@@ -37,9 +37,9 @@
 
 \begin{itemize}
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala <<filename.scala>>}} on the command line.\footnote{All
+  \mbox{\texttt{scala-cli <<filename.scala>>}} on the command line.\footnote{All
     major OSes, including Windows, have a command line. So there is no
-    good reason to not download Scala, install it and run it on your
+    good reason to not download scala-cli, install it and run it on your
     own computer. Just do it!} Use the
   template files provided and do not make any changes to arguments of
   functions or to any types. You are free to implement any auxiliary