Changelog for claferwiki-0.5.8

Minor release with Clafer 0.5.8.

Builds with GHC 9.12.4 (Stackage nightly-2026-11-11) and still with GHC 9.6.7. The stack build uses gitit 0.16.1 of the snapshot, which can also load plugins when it is linked dynamically (jgm/gitit#714).
No longer depends on MissingH, network-bsd, network, network-uri, SHA, time, mtl and transformers-compat. Without a Host header in the request (HTTP/1.0), the links to the wiki use localhost and the configured port instead of the name of the machine.
claferwiki Version 0.5.7, Nov 8, 2026

Minor release with Clafer 0.5.7.

Minor release with Clafer 0.5.6.

The models and their graphs show expressions with the parentheses that the grammar requires, e.g., [ (1 + 2) * 3 = 9 ], which was shown as [ 1 + 2 * 3 = 9 ].
claferwiki Version 0.5.5, Oct 27, 2026

Minor release with Clafer 0.5.5.

Models can use decimals, a new primitive type decimal with a fixed number of fractional digits, e.g., cost -> decimal = 19.99.
The buttons for ClaferIDE, ClaferConfigurator, and ClaferMooVisualizer can link to the tools under paths, e.g., https://wiselab.uwaterloo.ca/claferide/: the environment variables CLAFERIDE_URL, CLAFERCONFIGURATOR_URL, and CLAFERMOOVISUALIZER_URL give the tools' URLs (by default, still the ports 8094, 8093, and 8092). Behind a reverse proxy, the model's URL in the links follows the headers X-Forwarded-Proto and X-Forwarded-Prefix, e.g., https://wiselab.uwaterloo.ca/modelwiki/clafer/<page>.cfr, so the proxy no longer needs to rewrite the links. The links no longer contain the port 80 when the wiki is reached without a port.
claferwiki Version 0.5.4, Oct 25, 2026

Minor release with Clafer 0.5.4.

The model graphs contain only the svg element of Graphviz's output, without its XML declaration, DOCTYPE and comments, which do not belong in an HTML page. HTML rewriting proxies, such as Apache's mod_proxy_html, mangled them and showed the graphs' double-click handler as text in the model summary.
custom.css imports gitit's highlighting.css instead of hk-pyg.css, which gitit no longer provides: every page requested a missing stylesheet, and code blocks had no syntax highlighting.
The live demo is at https://wiselab.uwaterloo.ca/modelwiki/.

Minor release with Clafer 0.5.3.

The buttons for ClaferIDE, ClaferConfigurator, and ClaferMooVisualizer link to the host and port that the browser used to reach the wiki (the Host or X-Forwarded-Host header), instead of the short host name of the machine, which made the links unreachable (e.g., http://t3-necsis:8094/ instead of http://t3-necsis.cs.uwaterloo.ca:8094/).