vault backup: 2025-02-23 19:26:28

3-99 Research/TLA/TLA - README.md

@@ -2,12 +2,14 @@
 
 ## Subdirectories
 - [[states/states - README]]
+- [[Untitled.toolbox/Untitled.toolbox - README]]
 
 ## Files
 - [[Test.cfg]]
 - [[Test.tla]]
 - [[TLA Canvas.canvas]]
 - [[Untitled.md]]
+- [[Untitled.tla]]
 - [[What is TLA?.md]]
 - [[What the hell is liveness?.md]]
 

3-99 Research/TLA/Untitled.tla

@@ -0,0 +1,6 @@
+------------------------------ MODULE Untitled ------------------------------
+
+
+=============================================================================
+\* Modification History
+\* Created Sun Feb 23 19:24:27 EST 2025 by danesabo

3-99 Research/TLA/Untitled.toolbox/.project

@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>Untitled</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>toolbox.builder.TLAParserBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>toolbox.natures.TLANature</nature>
+	</natures>
+	<linkedResources>
+		<link>
+			<name>Untitled.tla</name>
+			<type>1</type>
+			<locationURI>PARENT-1-PROJECT_LOC/Untitled.tla</locationURI>
+		</link>
+	</linkedResources>
+</projectDescription>

3-99 Research/TLA/Untitled.toolbox/.settings/org.lamport.tla.toolbox.prefs

@@ -0,0 +1,2 @@
+ProjectRootFile=PARENT-1-PROJECT_LOC/Untitled.tla
+eclipse.preferences.version=1