- Aug 07, 2021
-
-
Marco Zimmer authored
+FactOrganizer: hid FactDict +Facts: re-renamed URI to Id, enabled persistend, generated and compact LabelNamingSpace
-
- Aug 05, 2021
-
-
Marco Zimmer authored
-
- Aug 04, 2021
-
-
Marco Zimmer authored
+Restart: reenabled RestartLevelButton +Level: reenabled Level-completion +FactOrganizer: scetch for dynamic LevelGoals, with-> +FactComparer +ShinyThings: TODO: multiple highlited facts at once
-
- Aug 01, 2021
-
-
Marco Zimmer authored
-
- Aug 01, 2020
-
-
Richard Marcus authored
-
- Jul 22, 2020
-
-
Richard Marcus authored
-