diff options
| -rw-r--r-- | source/INDEX.md | 2 | ||||
| -rw-r--r-- | source/wg03/wg03.tex | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/source/INDEX.md b/source/INDEX.md index 74215e6..9234f25 100644 --- a/source/INDEX.md +++ b/source/INDEX.md @@ -9,4 +9,4 @@ Here are the following active working groups: - WG01: `Kernel Architecture Group.` - WG02: `Multi-Tasking Group.` - WG03: `Compiler Design Group.` -- WG04-SPACE-RF: `Distributed Systems Group.`
\ No newline at end of file +- WG04-SPACE-RF: `Distributed Systems Group.` diff --git a/source/wg03/wg03.tex b/source/wg03/wg03.tex index 36375b1..6cfb47d 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/wg03.tex @@ -8,7 +8,7 @@ \usepackage{hyperref} \usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} -\title{Methodology for Storage Correctness.} +\title{The Nectar Programming Language.} \author{Amlal El Mahrouss.\\amlal@nekernel.org} \date{December 2025} @@ -52,4 +52,4 @@ { } -\end{document}
\ No newline at end of file +\end{document} |