delta/python-packages/pygments.git/pygments/lexers/theorem.py, branch bash-variablebitbucket.org: Obsolete (use python-packages/pygments-git)
Fix most complaints from regexlint.2016-02-14T16:10:00+00:00Georg Brandlgeorg@python.org2016-02-14T16:10:00+00:00fff7caebc1befe71ab088a5d245fbb7708cfc0f2
trying to do a bit more cleanup.2015-12-18T20:10:59+00:00Gregory Malechagmalecha@gmail.com2015-12-18T20:10:59+00:00886fa12ba2c50a96dd057d978fd439745cebb4a3
- land, lor, etc. are not operators
- float, int, array, etc. are not types
- adding more tactics
- adding more terminators
- adding Context as a vernac
- land, lor, etc. are not operators
- float, int, array, etc. are not types
- adding more tactics
- adding more terminators
- adding Context as a vernac
a few missing keyworkds.2015-12-18T19:21:02+00:00Gregory Malechagmalecha@gmail.com2015-12-18T19:21:02+00:003ba27e596ae05e2c807e95fd71e755ae442d2a03
Add two missing operators '?' and '?' for Lean theorem prover2015-02-04T19:03:35+00:00Soonho Kongsoonhok@cs.cmu.edu2015-02-04T19:03:35+00:00fd1fba25231ee37cb92ec1597ef910062c1d2c01
merge with stable2015-01-21T07:33:36+00:00Georg Brandlgeorg@python.org2015-01-21T07:33:36+00:00fe72d20b50c75089fa1262b9f03fcb29c9e49282
Copyright year update.2015-01-21T07:33:25+00:00Georg Brandlgeorg@python.org2015-01-21T07:33:25+00:0013705acbd57b936990c63a12de05ce29834b6afb
Rollback to [a-z] for the Name.Variable2015-01-16T09:07:07+00:00Soonho Kongsoonhok@cs.cmu.edu2015-01-16T09:07:07+00:00e776ca304cd6b2241dc15490cefbd275e87a574a
remove tactics, word_operators, and primitives from highlighting2015-01-15T22:49:39+00:00Soonho Kongsoonhok@cs.cmu.edu2015-01-15T22:49:39+00:00f0fb7b24cb57727640f119c7497127c290549bd5
Add three missing operators '?', '?', '?' for Lean theorem prover2015-01-15T07:37:45+00:00Soonho Kongsoonhok@cs.cmu.edu2015-01-15T07:37:45+00:0041e23d60dc516a22966325f97b7b00b448bd55a7
Add a missing operator '`' for Lean theorem prover2014-12-09T08:39:44+00:00Soonho Kongsoonhok@cs.cmu.edu2014-12-09T08:39:44+00:001c2cda5b58d4a37b71e5f047cad5fe133463aec0