summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-02-07 20:37:41 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-02-07 20:37:41 +0100
commit0636de4d3029320cd984a41735e28a56177d66c9 (patch)
treeb6d86fb31332de2c7232ce7726befb9539f53b0d
parent6b5ff27f541d778cd3208c46aaf4a4ac452a5dd2 (diff)
chore: update paper group.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
-rw-r--r--source/README.md2
-rw-r--r--source/wg04/.keep (renamed from source/wg04-space-rf/.keep)0
-rw-r--r--source/wg04/paper.tex (renamed from source/wg04-space-rf/paper.tex)0
3 files changed, 1 insertions, 1 deletions
diff --git a/source/README.md b/source/README.md
index ea0d77a..b2c677d 100644
--- a/source/README.md
+++ b/source/README.md
@@ -9,7 +9,7 @@
- WG01: `The PL/OS Group`.
- WG02: `The Systems Group`.
- WG03: `The Nectar PL Group`.
-- WG04-SPACE-RF: `The Mathematics Group`.
+- WG04: `The Mathematics Group`.
- WG05: `The Execution Theory Group`.
## Active Paper Groups:
diff --git a/source/wg04-space-rf/.keep b/source/wg04/.keep
index e69de29..e69de29 100644
--- a/source/wg04-space-rf/.keep
+++ b/source/wg04/.keep
diff --git a/source/wg04-space-rf/paper.tex b/source/wg04/paper.tex
index a2e5790..a2e5790 100644
--- a/source/wg04-space-rf/paper.tex
+++ b/source/wg04/paper.tex