sidebar

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
sidebar [2024/10/04 22:57] – fponzisidebar [2025/03/18 19:45] (current) – Added link to new section in sidebar: Create your own TLA⁺ tools ahelwer
Line 8: Line 8:
   * [[codebase:start|Contributing to the tools]]   * [[codebase:start|Contributing to the tools]]
   * [[using:start|Learn about the tools]]   * [[using:start|Learn about the tools]]
 +  * [[creating:start|Create your own TLA⁺ tools]]
  
 ---- ----
 Useful links: Useful links:
-  * [[https://lamport.azurewebsites.net/tla/tla.html|TLA+ Homepage]]+  * [[http://tlapl.us/|TLA+ Homepage]]
   * [[https://github.com/tlaplus/tlaplus|tlaplus on GitHub]]   * [[https://github.com/tlaplus/tlaplus|tlaplus on GitHub]]
   * Reach out to the [[community|community]]   * Reach out to the [[community|community]]
  
  
  • sidebar.1728082655.txt.gz
  • Last modified: 2024/10/04 22:57
  • by fponzi