Commit a7201b13 authored by Michael Hanus 's avatar Michael Hanus

installapp -> install

parent 7a87df69
......@@ -28,7 +28,7 @@ Thus, to install the newest version of CASS, use the following commands:
%
\begin{curry}
> cpm update
> cpm installapp cass
> cpm install cass
\end{curry}
%
This downloads the newest package, compiles it, and places
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment