1 files changed, 5 insertions, 1 deletions
diff --git a/Cargo.toml b/Cargo.toml
index 4e1b615..26188a3 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,2 +1,6 @@
 [workspace]
-members = ["isabelle-dump", "symbolmacro"]
+members = [
+    "symbolmacro",
+    "isabelle-unicode",
+    "util"
+]