Commit c422702e authored by Michael Hanus 's avatar Michael Hanus

Automatic generation of limit operations added

parent e5b3a08c
......@@ -37,7 +37,7 @@ cpmBanner :: String
cpmBanner = unlines [bannerLine,bannerText,bannerLine]
where
bannerText =
"Curry Package Manager <curry-language.org/tools/cpm> (version of 07/02/2017)"
"Curry Package Manager <curry-language.org/tools/cpm> (version of 08/02/2017)"
bannerLine = take (length bannerText) (repeat '-')
main :: IO ()
......
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