URLs updated

src/CurryDoc/Config.curry

@@ -3,7 +3,7 @@
 --- the CurryDoc tool.
 ---
 --- @author Michael Hanus, Jan Tikovsky
---- @version May 2018
+--- @version October 2020
 ----------------------------------------------------------------------
 
 module CurryDoc.Config where
@@ -13,7 +13,7 @@ import CurryDoc.PackageConfig (packageVersion)
 
 --- Version of currydoc
 currydocVersion :: String
-currydocVersion = "Version " ++ packageVersion ++ " of May 2, 2018"
+currydocVersion = "Version " ++ packageVersion ++ " of October 14, 2020"
 
 --- The URL of the base directory containing the styles, images, etc.
 styleBaseURL :: String
@@ -39,3 +39,7 @@ currygleURL = "https://www-ps.informatik.uni-kiel.de/kics2/currygle/"
 --- The URL of the Curry homepage
 curryHomeURL :: String
 curryHomeURL = "http://www.curry-lang.org"
+
+--- The URL of the Curry Wiki
+curryWikiURL :: String
+curryWikiURL = "https://www-ps.informatik.uni-kiel.de/currywiki"

src/CurryDoc/Html.curry

@@ -2,7 +2,7 @@
 --- Operations to generate documentation in HTML format.
 ---
 --- @author Michael Hanus, Jan Tikovsky
---- @version December 2018
+--- @version October 2020
 ----------------------------------------------------------------------
 
 {-# OPTIONS_CYMAKE -Wno-incomplete-patterns #-}
@@ -807,7 +807,7 @@ syslibsLeftTopMenu =
 syslibsRightTopMenu :: [[HtmlExp]]
 syslibsRightTopMenu =
   [ curryHomeItem
-  , [ehref (curryHomeURL ++ "/documentation/report")
+  , [ehref (curryWikiURL ++ "/documentation/report")
            [extLinkIcon, htxt " Curry Report"]]
   ]
 
@@ -891,8 +891,8 @@ rightTopMenu :: [[HtmlExp]]
 rightTopMenu =
   [ curryHomeItem
   , [ehref (currySystemURL++"/lib/")
-           [extLinkIcon, htxt $ " "++currySystem++" Libraries"]]
-  , [ehref (curryHomeURL ++ "/tools/currydoc")
+           [extLinkIcon, htxt $ " " ++ currySystem ++ " Libraries"]]
+  , [ehref (curryWikiURL ++ "/tools/currydoc")
            [extLinkIcon, htxt " About CurryDoc"]]
   ]