Add_scroll_to_unity.md

---------------------------
|Add Scroll to Unity Guide|
---------------------------

In archives:
1. Create and build Scroll in "archives\MathHub\FrameIT\frameworld\source\Scrolls" folder.

2. In "archives\MathHub\FrameIT\frameworld\source\DefaultSituationSpace.mmt" include your scroll

3. Build "DefaultSituationSpace.mmt"

In uframeit 
1. add your scroll to "UFrameIT\Assets\Scripts\MMTServer\CommunicationProtocoll\MMTConstants.cs"\

if Class "GlobalBehaviour" ("UFrameIT\Assets\Scripts\GlobalBehaviour.cs") Method "GetScrollsfromServer()" loads scrolls from "UFrameIT\Assets\StreamingAssets\scrolls.json":

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.

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 a lot of errors