summaryrefslogtreecommitdiffhomepage
path: root/resources/pug
diff options
context:
space:
mode:
authorCamil Staps2017-10-03 08:56:24 +0200
committerCamil Staps2017-10-03 08:56:24 +0200
commit633bef5d835f2116bb4da99dd245007ed92bf1d5 (patch)
tree436ce70eec547911432f79ce7ac7797c6b406170 /resources/pug
parentAdd Clean resources (diff)
Added clean-{dynamic-system,language-report} to Clean resources
Diffstat (limited to 'resources/pug')
-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')