<feed xmlns='http://www.w3.org/2005/Atom'>
<title>delta/python-packages/pygments-git.git/pygments/lexers/theorem.py, branch examplefiles</title>
<subtitle>github.com: pygments/pygments.git
</subtitle>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/'/>
<entry>
<title>Run pyupgrade across codebase to modernize syntax and patterns (#1622)</title>
<updated>2021-01-17T15:44:58+00:00</updated>
<author>
<name>Jon Dufresne</name>
<email>jon.dufresne@gmail.com</email>
</author>
<published>2021-01-17T15:44:58+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=debda34e2d4f28d6d369cdafdcba4791702f63fc'/>
<id>debda34e2d4f28d6d369cdafdcba4791702f63fc</id>
<content type='text'>
pyupgrade is a tool to automatically upgrade syntax for newer versions
of the Python language.

The project has been Python 3 only since
35544e2fc6eed0ce4a27ec7285aac71ff0ddc473, allowing for several cleanups:

- Remove unnecessary "-*- coding: utf-8 -*-" cookie. Python 3 reads all
  source files as utf-8 by default.

- Replace IOError/EnvironmentError with OSError. Python 3 unified these
  exceptions. The old names are aliases only.

- Use the Python 3 shorter super() syntax.

- Remove "utf8" argument form encode/decode. In Python 3, this value is
  the default.

- Remove "r" from open() calls. In Python 3, this value is the default.

- Remove u prefix from Unicode strings. In Python 3, all strings are
  Unicode.

- Replace io.open() with builtin open(). In Python 3, these functions
  are functionally equivalent.

Co-authored-by: Matthäus G. Chajdas &lt;Anteru@users.noreply.github.com&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
pyupgrade is a tool to automatically upgrade syntax for newer versions
of the Python language.

The project has been Python 3 only since
35544e2fc6eed0ce4a27ec7285aac71ff0ddc473, allowing for several cleanups:

- Remove unnecessary "-*- coding: utf-8 -*-" cookie. Python 3 reads all
  source files as utf-8 by default.

- Replace IOError/EnvironmentError with OSError. Python 3 unified these
  exceptions. The old names are aliases only.

- Use the Python 3 shorter super() syntax.

- Remove "utf8" argument form encode/decode. In Python 3, this value is
  the default.

- Remove "r" from open() calls. In Python 3, this value is the default.

- Remove u prefix from Unicode strings. In Python 3, all strings are
  Unicode.

- Replace io.open() with builtin open(). In Python 3, these functions
  are functionally equivalent.

Co-authored-by: Matthäus G. Chajdas &lt;Anteru@users.noreply.github.com&gt;</pre>
</div>
</content>
</entry>
<entry>
<title>Fix Coq-related bug #678 (#1648)</title>
<updated>2021-01-04T17:10:14+00:00</updated>
<author>
<name>Maximilian Wuttke</name>
<email>s8mawutt@stud.uni-saarland.de</email>
</author>
<published>2021-01-04T17:10:14+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=c01ccfead679b1b38a989b674d02771ff6ccbe23'/>
<id>c01ccfead679b1b38a989b674d02771ff6ccbe23</id>
<content type='text'>
* Unicode support for Coq

Catch-all lexing for `Name.Builtin.Pseudo`, as in the lean lexer.

This fixes #678.

* Coq lexer: improve `analyse_text`

* Add a test for Coq</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* Unicode support for Coq

Catch-all lexing for `Name.Builtin.Pseudo`, as in the lean lexer.

This fixes #678.

* Coq lexer: improve `analyse_text`

* Add a test for Coq</pre>
</div>
</content>
</entry>
<entry>
<title>Bump copyright year.</title>
<updated>2021-01-03T17:03:23+00:00</updated>
<author>
<name>Matthäus G. Chajdas</name>
<email>dev@anteru.net</email>
</author>
<published>2021-01-03T17:03:23+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=a590ac5ea7c00a41e253834306bfa19e38349c0b'/>
<id>a590ac5ea7c00a41e253834306bfa19e38349c0b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>lean: Add missing keywords</title>
<updated>2020-11-19T07:13:31+00:00</updated>
<author>
<name>Eric Wieser</name>
<email>wieser.eric@gmail.com</email>
</author>
<published>2020-11-16T17:17:41+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=190717d1eb5c1b29cf3cf28d7ccc7db3e1f366f7'/>
<id>190717d1eb5c1b29cf3cf28d7ccc7db3e1f366f7</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add analyze_text to make make check happy. (#1549)</title>
<updated>2020-09-23T16:14:24+00:00</updated>
<author>
<name>Matthäus G. Chajdas</name>
<email>Anteru@users.noreply.github.com</email>
</author>
<published>2020-09-23T16:14:24+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=9fca2a106502333db64de61f96c29cd4927c7d84'/>
<id>9fca2a106502333db64de61f96c29cd4927c7d84</id>
<content type='text'>
* Add analyze_text to make make check happy.

This also fixes a few small bugs:

* Slash uses *.sla as the file ending, not *.sl
* IDL has endelse, not elseelse

* Improve various analyse_text methods.

* Improve various analyse_text methods.

* Make Perl less confident in presence of :=.
* Improve brainfuck check to not parse the whole input.
* Improve Unicon by matching \self, /self
* Fix Ezhil not matching against the input text

* Simplify Modula2::analyse_text.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* Add analyze_text to make make check happy.

This also fixes a few small bugs:

* Slash uses *.sla as the file ending, not *.sl
* IDL has endelse, not elseelse

* Improve various analyse_text methods.

* Improve various analyse_text methods.

* Make Perl less confident in presence of :=.
* Improve brainfuck check to not parse the whole input.
* Improve Unicon by matching \self, /self
* Fix Ezhil not matching against the input text

* Simplify Modula2::analyse_text.</pre>
</div>
</content>
</entry>
<entry>
<title>all: remove "u" string prefix (#1536)</title>
<updated>2020-09-08T18:20:19+00:00</updated>
<author>
<name>Georg Brandl</name>
<email>georg@python.org</email>
</author>
<published>2020-09-08T18:20:19+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=9f5672672bd61f7149d2a165b49f0617a1a9fe8e'/>
<id>9f5672672bd61f7149d2a165b49f0617a1a9fe8e</id>
<content type='text'>
* all: remove "u" string prefix

* util: remove unirange

Since Python 3.3, all builds are wide unicode compatible.

* unistring: remove support for narrow-unicode builds

which stopped being relevant with Python 3.3</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* all: remove "u" string prefix

* util: remove unirange

Since Python 3.3, all builds are wide unicode compatible.

* unistring: remove support for narrow-unicode builds

which stopped being relevant with Python 3.3</pre>
</div>
</content>
</entry>
<entry>
<title>Update copyright year (fixes #1514.)</title>
<updated>2020-08-22T14:08:07+00:00</updated>
<author>
<name>Matthäus G. Chajdas</name>
<email>dev@anteru.net</email>
</author>
<published>2020-08-22T14:08:07+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=5bd2a84bc1db0120828606c900a14276414fecdc'/>
<id>5bd2a84bc1db0120828606c900a14276414fecdc</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Lean: update to Lean 3</title>
<updated>2020-03-14T19:28:53+00:00</updated>
<author>
<name>Bryan Gin-ge Chen</name>
<email>bryangingechen@gmail.com</email>
</author>
<published>2020-03-14T19:28:53+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=ff86a84df1022b61150bf385292c2e1762e3fb3c'/>
<id>ff86a84df1022b61150bf385292c2e1762e3fb3c</id>
<content type='text'>
From the fork at https://bitbucket.org/gebner/pygments-main/src/default/
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
From the fork at https://bitbucket.org/gebner/pygments-main/src/default/
</pre>
</div>
</content>
</entry>
<entry>
<title>Lean: add "^" operator</title>
<updated>2019-12-01T20:41:57+00:00</updated>
<author>
<name>Georg Brandl</name>
<email>georg@python.org</email>
</author>
<published>2019-12-01T20:41:54+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=411a7b47413e5a1658ff1f5d1aa2f55ff3443f22'/>
<id>411a7b47413e5a1658ff1f5d1aa2f55ff3443f22</id>
<content type='text'>
Fixes #1163
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Fixes #1163
</pre>
</div>
</content>
</entry>
<entry>
<title>Fixup all headers and some more minor problems.</title>
<updated>2019-05-28T05:00:40+00:00</updated>
<author>
<name>Georg Brandl</name>
<email>georg@python.org</email>
</author>
<published>2019-05-28T05:00:40+00:00</published>
<link rel='alternate' type='text/html' href='http://91.123.203.49/cgit/delta/python-packages/pygments-git.git/commit/?id=597020d4ce90505dad8b850eadafd20f06bf1dc9'/>
<id>597020d4ce90505dad8b850eadafd20f06bf1dc9</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
