Thanks a ton for setting this up!One quick observation: it seems DokuWiki rewrites the less-than-or-equal operator <= to the arrow ⇐, which makes it hard to write TLA+ inline in text (see e.g. https://docs.tlapl.us/using:standard_lib). Maybe we can disable that conversion?--CalvinOn Tue, Oct 8, 2024 at 10:43 AM Federico Ponzi <fpon...@xxxxxxxxx> wrote:Hello,At https://docs.tlapl.us/, you'll find a new wiki (based on DokuWiki) that we've created as an effort to improve the state of documentation for TLA+ and its tools. We encourage you to register an account and contribute in any way you see fit. If you spot mistakes or think something could be improved, feel free to make updates. Let’s work together to make this resource as valuable as possible!A big thanks to Markus for helping set up the wiki.Federico--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/8310799e-b497-460a-9c89-f3f1a25a7e5an%40googlegroups.com.