This module contains some configuration parameters for the CurryDoc tool.
Author: Michael Hanus, Jan Tikovsky
Version: December 2020
currydocVersion
:: String
Version of currydoc |
styleBaseURL
:: String
The URL of the base directory containing the styles, images, etc. |
currySystemURL
:: String
The URL of the base directory containing the styles, images, etc. |
currySystem
:: String
The name of this Curry system. |
currygleURL
:: String
The URL of the API search |
curryHomeURL
:: String
The URL of the Curry homepage |
curryPackagesURL
:: String
The URL of the Curry packages |
baseLibsURL
:: String
The URL of the base libraries |
curryWikiURL
:: String
The URL of the Curry Wiki |
curryDocURL
:: String
The URL of the Curry Wiki |
Version of currydoc
|
The URL of the base directory containing the styles, images, etc.
|
The URL of the base directory containing the styles, images, etc. |
The name of this Curry system. |
The URL of the API search
|
The URL of the Curry homepage
|
The URL of the Curry packages
|
The URL of the base libraries
|
The URL of the Curry Wiki
|
The URL of the Curry Wiki
|