Commit 23793bda authored by Michael Hanus 's avatar Michael Hanus

installapp -> install

parent 40aebf11
......@@ -21,7 +21,7 @@ Thus, to install the newest version of Spicey, use the following commands:
%
\begin{curry}
> cpm update
> cpm installapp spicey
> cpm install spicey
\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