summaryrefslogtreecommitdiffhomepage
path: root/resources
diff options
context:
space:
mode:
Diffstat (limited to 'resources')
-rw-r--r--resources/pug/finals/clean.pug2
1 files changed, 2 insertions, 0 deletions
diff --git a/resources/pug/finals/clean.pug b/resources/pug/finals/clean.pug
index 3b47aac..63babcb 100644
--- a/resources/pug/finals/clean.pug
+++ b/resources/pug/finals/clean.pug
@@ -72,7 +72,9 @@ block content
+item('https://gitlab.science.ru.nl/clean-and-itasks', 'clean-and-itasks', 'Radboud gitlab group')
+svnItem('clean-code-generator', 'the code generator')
+svnItem('clean-compiler', 'the compiler')
+ +svnItem('clean-dynamic-system', 'the dynamics linker and other related tools and libraries')
+svnItem('clean-ide', 'the IDE, cpm')
+ +svnItem('clean-language-report', 'old and new versions of the language report')
+svnItem('clean-libraries', 'StdEnv, StdLib, Generics, TCPIP, ArgEnv, Directory, ObjectIO, Hilde, and many others')
+svnItem('clean-run-time-system', 'the runtime system')
+svnItem('clean-tools', 'clm, elf_linker, htoclean')