pygments.lexers.theorem.IsabelleLexer

class documentation

class IsabelleLexer(RegexLexer):

View In Hierarchy

For the Isabelle proof assistant.

New in version 2.0.
Class Variable aliases Undocumented
Class Variable filenames Undocumented
Class Variable keyword​_abandon​_proof Undocumented
Class Variable keyword​_diag Undocumented
Class Variable keyword​_minor Undocumented
Class Variable keyword​_proof​_asm Undocumented
Class Variable keyword​_proof​_asm​_goal Undocumented
Class Variable keyword​_proof​_block Undocumented
Class Variable keyword​_proof​_chain Undocumented
Class Variable keyword​_proof​_decl Undocumented
Class Variable keyword​_proof​_goal Undocumented
Class Variable keyword​_proof​_script Undocumented
Class Variable keyword​_qed Undocumented
Class Variable keyword​_section Undocumented
Class Variable keyword​_subsection Undocumented
Class Variable keyword​_theory​_decl Undocumented
Class Variable keyword​_theory​_goal Undocumented
Class Variable keyword​_theory​_script Undocumented
Class Variable keyword​_thy Undocumented
Class Variable mimetypes Undocumented
Class Variable name Undocumented
Class Variable operators Undocumented
Class Variable proof​_operators Undocumented
Class Variable tokens Undocumented

Inherited from RegexLexer:

Method get​_tokens​_unprocessed Split text into (tokentype, text) pairs.

Inherited from Lexer (via RegexLexer):

Method analyse​_text No summary
Method get​_tokens Return an iterable of (tokentype, value) pairs generated from text. If unfiltered is set to True, the filtering mechanism is bypassed even if filters are defined.
Class Variable alias​_filenames Undocumented
Method __init__ Undocumented
Method __repr__ Undocumented
Method add​_filter Add a new stream filter to this lexer.
Class Variable priority Undocumented
Instance Variable encoding Undocumented
Instance Variable ensurenl Undocumented
Instance Variable filters Undocumented
Instance Variable options Undocumented
Instance Variable stripall Undocumented
Instance Variable stripnl Undocumented
Instance Variable tabsize Undocumented
aliases: list[str] =
overrides pygments.lexer.Lexer.aliases

Undocumented

filenames: list[str] =
overrides pygments.lexer.Lexer.filenames

Undocumented

keyword_abandon_proof: tuple[str, ...] =

Undocumented

keyword_diag: tuple[str, ...] =

Undocumented

keyword_minor: tuple[str, ...] =

Undocumented

keyword_proof_asm: tuple[str, ...] =

Undocumented

keyword_proof_asm_goal: tuple[str, ...] =

Undocumented

keyword_proof_block: tuple[str, ...] =

Undocumented

keyword_proof_chain: tuple[str, ...] =

Undocumented

keyword_proof_decl: tuple[str, ...] =

Undocumented

keyword_proof_goal: tuple[str, ...] =

Undocumented

keyword_proof_script: tuple[str, ...] =

Undocumented

keyword_qed: tuple[str, ...] =

Undocumented

keyword_section: tuple[str, ...] =

Undocumented

keyword_subsection: tuple[str, ...] =

Undocumented

keyword_theory_decl: tuple[str, ...] =

Undocumented

keyword_theory_goal: tuple[str, ...] =

Undocumented

keyword_theory_script: tuple[str, ...] =

Undocumented

keyword_thy: tuple[str, ...] =

Undocumented

mimetypes: list[str] =
overrides pygments.lexer.Lexer.mimetypes

Undocumented

name: str =
overrides pygments.lexer.Lexer.name

Undocumented

operators: tuple[str, ...] =

Undocumented

proof_operators: tuple[str, ...] =

Undocumented

tokens =
overrides pygments.lexer.RegexLexer.tokens

Undocumented