diff options
| author | gerwin klein <gerwin.klein@nicta.com.au> | 2014-07-31 20:17:09 +1000 |
|---|---|---|
| committer | gerwin klein <gerwin.klein@nicta.com.au> | 2014-07-31 20:17:09 +1000 |
| commit | 074bb277547a6d4eed650497d09f0f7210e92c24 (patch) | |
| tree | e783091bd9c42362f579bcbdf5cdc1644700bd98 /pygments/lexers/_mapping.py | |
| parent | 2f1c724903db081f1d6941d366ca95070049e94b (diff) | |
| download | pygments-074bb277547a6d4eed650497d09f0f7210e92c24.tar.gz | |
basic lexer for Isabelle/HOL theorem prover
Diffstat (limited to 'pygments/lexers/_mapping.py')
| -rw-r--r-- | pygments/lexers/_mapping.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/_mapping.py b/pygments/lexers/_mapping.py index f8454357..adecad2f 100644 --- a/pygments/lexers/_mapping.py +++ b/pygments/lexers/_mapping.py @@ -165,6 +165,7 @@ LEXERS = { 'IoLexer': ('pygments.lexers.agile', 'Io', ('io',), ('*.io',), ('text/x-iosrc',)), 'IokeLexer': ('pygments.lexers.jvm', 'Ioke', ('ioke', 'ik'), ('*.ik',), ('text/x-iokesrc',)), 'IrcLogsLexer': ('pygments.lexers.text', 'IRC logs', ('irc',), ('*.weechatlog',), ('text/x-irclog',)), + 'IsabelleLexer': ('pygments.lexers.functional', 'Isabelle', ('isabelle',), ('*.thy',), ('text/x-isabelle',)), 'JadeLexer': ('pygments.lexers.web', 'Jade', ('jade',), ('*.jade',), ('text/x-jade',)), 'JagsLexer': ('pygments.lexers.math', 'JAGS', ('jags',), ('*.jag', '*.bug'), ()), 'JasminLexer': ('pygments.lexers.jvm', 'Jasmin', ('jasmin', 'jasminxt'), ('*.j',), ()), |