Why Gemfury? Push, build, and install  RubyGems npm packages Python packages Maven artifacts PHP packages Go Modules Debian packages RPM packages NuGet packages

duality-group / Pygments python

Repository URL to install this package:

Version: 
2.13.0  ▾
Details    
Pygments / tests / examplefiles / verilog / example_coq.v.output
Size: Mime: 
'Lemma'       Name
' '           Text.Whitespace
'FalseLemma'  Name
' '           Text.Whitespace
':'           Operator
' '           Text.Whitespace
'False'       Name
' '           Text.Whitespace
'<'           Operator
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'False'       Name
'.'           Punctuation
'\n'          Text.Whitespace

'tauto'       Name
'.'           Punctuation
'\n'          Text.Whitespace

'Qed'         Name
'.'           Punctuation
'\n'          Text.Whitespace

'Check'       Name
' '           Text.Whitespace
'FalseLemma'  Name
'.'           Punctuation
'\n'          Text.Whitespace

Products

About

Resources

Contact Gemfury