Pygments

Settings | Report Duplicate

90

I Use This!

Activity Not Available

Commits : Listings

Analyzed almost 1 year ago. based on code collected about 1 year ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 16, 2023 — Jan 16, 2024 Showing page 1 of 14 Search / Filter on:
Update CHANGES	Jean Abou Samra	More...				about 1 year ago
lean4: add sorry highlighting (#2626)	Eric Wieser	More...				about 1 year ago
Update CHANGES	Jean Abou Samra	More...				about 1 year ago
Update ThingsDB Lexer with new functions and syntax (#2624)	Jeroen van der Heijden	More...				about 1 year ago
Numeric field notation works above 9	Eric Wieser	More...				about 1 year ago
Update CHANGES	Jean Abou Samra	More...				about 1 year ago
Support VHDL-2008's multi-line comments (#2622)	Colin Marquardt	More...				about 1 year ago
Whitespace	Jean Abou-Samra	More...				about 1 year ago
Unnecessary '?'	Jean Abou-Samra	More...				about 1 year ago
Whitespace	Jean Abou-Samra	More...				about 1 year ago
Whitespace	Jean Abou-Samra	More...				about 1 year ago
Logtalk: highlight the uninstantiation_error/1 method and escape sequences in double-quoted terms (#2619)	Paulo Moura	More...				about 1 year ago
Update list of operators to exclude mathlib notation and include \mapsto	Eric Wieser	More...				about 1 year ago
Add float parser	Eric Wieser	More...				about 1 year ago
Add missing keywords	Eric Wieser	More...				about 1 year ago
remove syntax that doesn't exist	Eric Wieser	More...				about 1 year ago
add to CHANGES	Eric Wieser	More...				about 1 year ago
[Spice] Add switch, case, default, fallthrough and compose keywords (#2621)	Marc Auberer	More...				about 1 year ago
Bump year to 2024.	Matthäus G. Chajdas	More...				about 1 year ago
Update the lean4 name regex to include ! and ?	Eric Wieser	More...				about 1 year ago
Add support for escaping EOL in string literals	Eric Wieser	More...				about 1 year ago
Add the `analyze_text` method	Eric Wieser	More...				about 1 year ago
update the name regex too	Eric Wieser	More...				about 1 year ago
Various fixes copied from the lean3 lexer	Eric Wieser	More...				about 1 year ago
Do not consider unrecognized tokens as errors	Eric Wieser	More...				about 1 year ago
rebuild the list of lexers	Eric Wieser	More...				about 1 year ago
Update to reflect Lexer changes	Eric Wieser	More...				about 1 year ago
Remove python2-isms	Eric Wieser	More...				about 1 year ago
Add lexer from https://github.com/leanprover/lean4/blob/d92948bc20b12f53542814c79469711ceff19fbf/doc/latex/lean4.py	Sebastian Ullrich	More...				about 1 year ago
Update CHANGES.	Matthäus G. Chajdas	More...				about 1 year ago

←
1
2
3
4
5
6
7
8
9
…
13
14
→