Skip to content
Snippets Groups Projects
Commit 47df8d7e authored by Michael Hanus's avatar Michael Hanus
Browse files

Typos fixed

parent 7229267e
Branches notypeclasses
Tags v0.5.0
No related merge requests found
Pipeline #306 failed
......@@ -22,8 +22,8 @@ managed by the Curry Package Manager CPM
Thus, to install the newest version of \cb, use the following commands:
%
\begin{curry}
> cpm update
> cpm install currybrowse
> cypm update
> cypm install currybrowse
\end{curry}
%
This downloads the newest package, compiles it, and places
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment