diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/pug/finals/clean.pug | 2 |
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') |