creating:start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
creating:start [2025/05/20 16:18] – Finished Table of Contents ahelwercreating:start [2025/05/21 19:44] (current) – ToC: changed some titles ahelwer
Line 27: Line 27:
   - [[creating:statements|Handling TLA⁺ Statements]]   - [[creating:statements|Handling TLA⁺ Statements]]
   - [[creating:jlists|Conjunction & Disjunction Lists]]   - [[creating:jlists|Conjunction & Disjunction Lists]]
-  - [[creating:operators|Operators & Parameters]] +  - [[creating:operators|Functions, Operators, and Parameters]] 
-  - [[creating:actions|Variables & Actions]]+  - [[creating:actions|Variables, States, and Actions]]
   - [[creating:safety|Model-Checking Safety Properties]]   - [[creating:safety|Model-Checking Safety Properties]]
  
  • creating/start.txt
  • Last modified: 2025/05/21 19:44
  • by ahelwer