[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] TLA+ wiki: https://docs.tlapl.us/



Thanks Calvin, I've updated the wiki's settings to disable the entity rewriting. Please let me know if you spot more issues.

Federico

Il giorno mercoledì 9 ottobre 2024 alle 06:17:27 UTC+1 Calvin Loncaric ha scritto:
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?

https://docs.tlapl.us/wiki:syntax#text_conversions

--
Calvin



On 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.

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/a27e366f-242c-4db3-a199-06511cd17eedn%40googlegroups.com.