From 6541f972d6b03f61ea1ad3668057819ddfa61e80 Mon Sep 17 00:00:00 2001
From: Paul-Walcher <ethicalmonk@proton.me>
Date: Fri, 24 May 2024 14:18:20 +0000
Subject: [PATCH] Update 2 files

- /DOC/create_fact.md
- /DOC/Add_scroll_to_unity.md
---
 DOC/Add_scroll_to_unity.md | 21 ++++++++++++++++++++-
 DOC/create_fact.md         | 19 -------------------
 2 files changed, 20 insertions(+), 20 deletions(-)

diff --git a/DOC/Add_scroll_to_unity.md b/DOC/Add_scroll_to_unity.md
index 7a31ae2..ef75a1c 100644
--- a/DOC/Add_scroll_to_unity.md
+++ b/DOC/Add_scroll_to_unity.md
@@ -16,4 +16,23 @@ if Class "GlobalBehaviour" ("UFrameIT\Assets\Scripts\GlobalBehaviour.cs") Method
 
 2. Open: "http://localhost:8085/scroll/list" and copy all the text.
 
-3. Now paste this into: "UFrameIT\Assets\StreamingAssets\scrolls.json" and start the game.
\ No newline at end of file
+3. Now paste this into: "UFrameIT\Assets\StreamingAssets\scrolls.json" and start the game.
+
+Additional:
+If you want to create a new theory you have to include it in the "theory FrameWorldMeta" in:    \archives\MathHub\FrameIT\frameworld\source\MetaTheories.mmt,
+which is at the bottom of the file.
+This ensures your theory is is in the global namespace.
+Then if you want to create a theory with a specific type:
+you have to specify this at the top:
+
+namespace http://mathhub.info/FrameIT/frameworld ❚
+fixmeta ur:?LF ❚
+
+
+and in you theory do:
+
+include ?FrameITBasics ❙
+at the start
+
+
+## If something fails, restart vscode and try building again. This fixes alot of errors
\ No newline at end of file
diff --git a/DOC/create_fact.md b/DOC/create_fact.md
index 121d8ab..d5f92a4 100644
--- a/DOC/create_fact.md
+++ b/DOC/create_fact.md
@@ -58,22 +58,3 @@
     4. In Hirarchy select WorldCursor and add your Fact Prefab into the Inspector.
     5. Alternative to 6.2 & 6.3: in hirarchy search: "ref:Assets/Scripts/InteractionEngine/FactHandling/FactSpawner.cs"
 
-
-Additional:
-
-If you want to create a new theory you have to include it in the "theory FrameWorldMeta" in:    \archives\MathHub\FrameIT\frameworld\source\MetaTheories.mmt,
-which is at the bottom of the file.
-
-This ensures your theory is is in the global namespace.
-
-Then if you want to create a theory with a specific type: 
-
-you have to specify this at the top:
-
-    namespace http://mathhub.info/FrameIT/frameworld ❚
-    fixmeta ur:?LF ❚
-
-and in you theory do:
-
-    include ?FrameITBasics ❙
-    at the start
\ No newline at end of file
-- 
GitLab