diff -r 195ad66315d9 -r 31b81f20fd9a cws/disclaimer.sty
--- a/cws/disclaimer.sty	Thu Nov 02 12:37:58 2023 +0000
+++ b/cws/disclaimer.sty	Thu Nov 02 13:53:37 2023 +0000
@@ -4,7 +4,7 @@
 \begin{itemize}
 \item #1  
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala-cli <<filename.scala>>}} on the command line.\footnote{All
+  \mbox{\texttt{scala-cli compile <<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-cli, install it and run it on your
     own computer. Just do it!} Use the
@@ -37,7 +37,7 @@
 
 \begin{itemize}
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala-cli <<filename.scala>>}} on the command line.\footnote{All
+  \mbox{\texttt{scala-cli compile <<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-cli, install it and run it on your
     own computer. Just do it!} Use the
@@ -71,7 +71,7 @@
 
 \begin{itemize}
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala <<filename.scala>>}} on the command line. Use the
+  \mbox{\texttt{scala-cli compile <<filename.scala>>}} on the command line. Use the
   template file provided and do not make any changes to arguments of
   functions or to any types. You are free to implement any auxiliary
   function you might need.