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
Next revision		 Previous revision
creating:start [2025/05/20 16:18] – Finished Table of Contents ahelwercreating:start [2025/06/19 21:40] (current) – ToC: added chapter on closures 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:closures|Closures]]
   - [[creating:safety|Model-Checking Safety Properties]]   - [[creating:safety|Model-Checking Safety Properties]]
  
  • creating/start.1747757912.txt.gz
  • Last modified: 2025/05/20 16:18
  • by ahelwer