
diff -r a6db2b70abdd -r 864107857d27 cws/disclaimer.sty
--- a/cws/disclaimer.sty	Thu Jan 13 12:55:03 2022 +0000
+++ b/cws/disclaimer.sty	Mon Apr 11 23:55:27 2022 +0100
@@ -4,8 +4,8 @@
 \begin{itemize}
 \item #1  
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala <<filename.scala>>}} on the commandline.\footnote{All
-    major OSes, including Windows, have a commandline. So there is no
+  \mbox{\texttt{scala <<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
     own computer. Just do it!} Use the
   template files provided and do not make any changes to arguments of
@@ -37,8 +37,8 @@
 
 \begin{itemize}
 \item Make sure the files you submit can be processed by just calling\\
-  \mbox{\texttt{scala <<filename.scala>>}} on the commandline.\footnote{All
-    major OSes, including Windows, have a commandline. So there is no
+  \mbox{\texttt{scala <<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
     own computer. Just do it!} Use the
   template files provided and do not make any changes to arguments of
@@ -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 commandline. Use the
+  \mbox{\texttt{scala <<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.




