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/04/28 17:58] – Added note about requiring Java 17 or higher 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]]
-  - TODO+  - [[creating:operators|Functions, Operators, and Parameters]] 
 +  - [[creating:actions|Variables, States, and Actions]] 
 +  - [[creating:safety|Model-Checking Safety Properties]]
  
 ===== Overview ===== ===== Overview =====
Line 111: Line 113:
  
 [[creating:start#table_of_contents|Table of Contents]] | [[creating:scanning|Next Page >]] [[creating:start#table_of_contents|Table of Contents]] | [[creating:scanning|Next Page >]]
 +
  • creating/start.1745863087.txt.gz
  • Last modified: 2025/04/28 17:58
  • by ahelwer