diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/pug/finals/clean.pug | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/resources/pug/finals/clean.pug b/resources/pug/finals/clean.pug index 3992d9c..1f59b09 100644 --- a/resources/pug/finals/clean.pug +++ b/resources/pug/finals/clean.pug @@ -35,8 +35,7 @@ block content h2 Syntax highlighting, editor plugins, etc. ul +githubItem('camilstaps', 'vim-clean', 'Vim syntax highlighting and extra functions') - +githubItem('clean-cloogle', 'clean.js', 'standalone JavaScript highlighter') - +githubItem('clean-cloogle', 'CleanPrettyPrint', 'pretty-printer for clean-compiler types') + +githubItem('clean-cloogle', 'clean-highlighter', 'standalone JavaScript highlighter') +githubItem('isagalaev', 'highlight.js', 'generic JavaScript highlighter with rudimentary Clean support') +githubItem('matheusamazonas', 'sublime3_clean', 'Sublime3 syntax highlighting') +item('https://pypi.python.org/pypi/pygments-lexer-clean', 'pygments-lexer-clean', 'Pygments lexer (Python, minted in TeX)') @@ -45,10 +44,11 @@ block content h2 Distributions ul - +item('ftp://ftp.cs.ru.nl/pub/Clean/builds/', 'ftp.cs.ru.nl/pub/Clean/builds/', 'official nightlies') + +item('https://ftp.cs.ru.nl/Clean/builds/', 'ftp.cs.ru.nl/Clean/builds/', 'official nightlies') +item('https://hub.docker.com/r/camilstaps/clean', 'camilstaps/clean', 'Docker images') +item('https://files.martlubbers.net/clean/', 'files.martlubbers.net/clean', 'nightlies with memory') +item('https://ftp.cs.ru.nl/Clean/Clean24/', 'ftp.cs.ru.nl/Clean/Clean24', 'the official Clean 2.4 distribution') + +item('https://ftp.cs.ru.nl/Clean/Clean30/', 'ftp.cs.ru.nl/Clean/Clean30', 'the official Clean 3.0 distribution') +item('https://ftp.cs.ru.nl/Clean/nightly/', 'ftp.cs.ru.nl/Clean/nightly', 'some older iTasks distributions') h2 Homework |