Differences

This shows you the differences between two versions of the page.

--- sidebar [2024/09/28 16:28] – fponzi
+++ sidebar [2025/03/18 19:45] (current) – Added link to new section in sidebar: Create your own TLA⁺ tools ahelwer
@@ Line 1: / Line 1: @@
 {{:logo-150.png?150|}}
 ====== TLA+ Wiki ======
-[[start|Start here]]
+[[start|Start here!]]
-[[learning:intro|Learning the language]]
-[[codebase:intro|Contributing to the tools]]
-[[using:intro|Learn about the tools]]
 ----
-Reach out to the [[community|community]]
+  * [[learning:start|Learning the language]]
+  * [[codebase:start|Contributing to the tools]]
+  * [[using:start|Learn about the tools]]
+  * [[creating:start|Create your own TLA⁺ tools]]
 ----
+Useful links:
+  * [[http://tlapl.us/|TLA+ Homepage]]
+  * [[https://github.com/tlaplus/tlaplus|tlaplus on GitHub]]
+  * Reach out to the [[community|community]]
-<nspages -tree -r -exclude -subns -pagesInNs -h1 -textNs="Browse Topics:">