diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 23:43:16 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 23:46:52 +0100 |
| commit | 8ee220a5d984f83d5ee9d9eed224ab0551bc7cc3 (patch) | |
| tree | b6ea2c07598f1253832a1e00fb61b7f5fe5fa29d /source | |
| parent | 9a5839719867e779eefc3cf11654bc1032232fd3 (diff) | |
feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg01/paper.tex (renamed from source/wg01/wg01.tex) | 0 | ||||
| -rw-r--r-- | source/wg02/paper.tex (renamed from source/wg02/wg02.tex) | 0 | ||||
| -rw-r--r-- | source/wg03/paper.tex (renamed from source/wg03/wg03.tex) | 0 | ||||
| -rw-r--r-- | source/wg05/paper.tex (renamed from source/wg05/wg05.tex) | 0 | ||||
| -rw-r--r-- | source/wg05/tn001.05/paper.tex (renamed from source/wg05/tn/tn001.05.tex) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/paper.tex index 931e80b..931e80b 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/paper.tex diff --git a/source/wg02/wg02.tex b/source/wg02/paper.tex index 4f49ab5..4f49ab5 100644 --- a/source/wg02/wg02.tex +++ b/source/wg02/paper.tex diff --git a/source/wg03/wg03.tex b/source/wg03/paper.tex index 34ac08c..34ac08c 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/paper.tex diff --git a/source/wg05/wg05.tex b/source/wg05/paper.tex index da2fa29..da2fa29 100644 --- a/source/wg05/wg05.tex +++ b/source/wg05/paper.tex diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn001.05/paper.tex index 176f22a..176f22a 100644 --- a/source/wg05/tn/tn001.05.tex +++ b/source/wg05/tn001.05/paper.tex |