Commit 7c18ee80 authored by Michael Hanus 's avatar Michael Hanus

Typo corrected

parent 9794dae1
......@@ -33,7 +33,7 @@ If you install PAKCS for the first time, you need to install
some Haskell packages required by the front end via Cabal,
i.e., run the command
make installcabal
make installhaskell
Now you can install the complete system by the command
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