File tree Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change @@ -346,6 +346,10 @@ <h1>List of languages supported by Redmine code highlighter</h1>
346
346
< td > idlang</ td >
347
347
< td > Interactive Data Language</ td >
348
348
</ tr >
349
+ < tr >
350
+ < td > idris</ td >
351
+ < td > The Idris programming language (idris-lang.org) [aliases: idr]</ td >
352
+ </ tr >
349
353
< tr >
350
354
< td > igorpro</ td >
351
355
< td > WaveMetrics Igor Pro</ td >
@@ -426,6 +430,10 @@ <h1>List of languages supported by Redmine code highlighter</h1>
426
430
< td > lasso</ td >
427
431
< td > The Lasso programming language (lassosoft.com) [aliases: lassoscript]</ td >
428
432
</ tr >
433
+ < tr >
434
+ < td > lean</ td >
435
+ < td > The Lean programming language (leanprover.github.io) [aliases: lean]</ td >
436
+ </ tr >
429
437
< tr >
430
438
< td > liquid</ td >
431
439
< td > Liquid is a templating engine for Ruby (liquidmarkup.org)</ td >
@@ -570,6 +578,10 @@ <h1>List of languages supported by Redmine code highlighter</h1>
570
578
< td > plist</ td >
571
579
< td > plist [aliases: plist]</ td >
572
580
</ tr >
581
+ < tr >
582
+ < td > plsql</ td >
583
+ < td > Procedural Language Structured Query Language for Oracle relational database</ td >
584
+ </ tr >
573
585
< tr >
574
586
< td > pony</ td >
575
587
< td > </ td >
@@ -742,6 +754,14 @@ <h1>List of languages supported by Redmine code highlighter</h1>
742
754
< td > systemd</ td >
743
755
< td > A lexer for systemd unit files [aliases: unit-file]</ td >
744
756
</ tr >
757
+ < tr >
758
+ < td > syzlang</ td >
759
+ < td > Syscall description language used by syzkaller</ td >
760
+ </ tr >
761
+ < tr >
762
+ < td > syzprog</ td >
763
+ < td > Program description language used by syzkaller</ td >
764
+ </ tr >
745
765
< tr >
746
766
< td > tap</ td >
747
767
< td > Test Anything Protocol [aliases: tap]</ td >
You can’t perform that action at this time.
0 commit comments