UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
https://docs.uppaal.org
1 stars 13 forks source link

The decrement operator is rendered incorrectly because of markdown magic #49

Closed thorulf4 closed 10 months ago

thorulf4 commented 10 months ago

https://github.com/UPPAALModelChecker/docs.uppaal.org/blob/cae0ed8b761a27c054b456c2a0b1d3dd7856ef5e/content/language-reference/expressions/_index.md?plain=1#L84

Because Hugo uses markdown -- is combined into a – image

mikucionisaau commented 10 months ago

I'll enclose all those expressions in back-ticks, which enforces monospace font and then they appear correctly.