diff -r ef37fb04a343 -r 0f1b97538ad4 cws/disclaimer.sty
--- a/cws/disclaimer.sty	Mon Nov 10 16:24:46 2025 +0000
+++ b/cws/disclaimer.sty	Thu Nov 13 17:44:58 2025 +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-cli compile <<filename.scala>>}} on the command line.\footnote{All
+  \mbox{\texttt{scala 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
+    good reason to not download scala, 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-cli compile <<filename.scala>>}} on the command line.\footnote{All
+  \mbox{\texttt{scala 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
+    good reason to not download scala, 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
@@ -71,7 +71,7 @@
 
 \begin{itemize}
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala-cli compile <<filename.scala>>}} on the command line. Use the
+  \mbox{\texttt{scala 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.