From d4be06edf5167ae1dff39983d527154cb87fbafe Mon Sep 17 00:00:00 2001 From: Go MAEDA Date: Sat, 11 Jun 2022 08:54:10 +0000 Subject: [PATCH] Update the list of supported languages for Rouge 3.29 (#37236). git-svn-id: https://svn.redmine.org/redmine/trunk@21629 e93f8b46-1217-0410-a6f0-8f06a7374b81 --- public/help/code_highlighting_languages.html | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/public/help/code_highlighting_languages.html b/public/help/code_highlighting_languages.html index 144a2e2fc..c6cb12f38 100644 --- a/public/help/code_highlighting_languages.html +++ b/public/help/code_highlighting_languages.html @@ -346,6 +346,10 @@ idlang Interactive Data Language + + idris + The Idris programming language (idris-lang.org) [aliases: idr] + igorpro WaveMetrics Igor Pro @@ -426,6 +430,10 @@ lasso The Lasso programming language (lassosoft.com) [aliases: lassoscript] + + lean + The Lean programming language (leanprover.github.io) [aliases: lean] + liquid Liquid is a templating engine for Ruby (liquidmarkup.org) @@ -570,6 +578,10 @@ plist plist [aliases: plist] + + plsql + Procedural Language Structured Query Language for Oracle relational database + pony @@ -742,6 +754,14 @@ systemd A lexer for systemd unit files [aliases: unit-file] + + syzlang + Syscall description language used by syzkaller + + + syzprog + Program description language used by syzkaller + tap Test Anything Protocol [aliases: tap]