diff options
| author | Georg Brandl <georg@python.org> | 2012-02-05 10:45:03 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2012-02-05 10:45:03 +0100 |
| commit | b89ed802bc78e49a2923a656742861c24a49e2c6 (patch) | |
| tree | e91d9cf9fc6858b7258507a3925747943e5560e9 /scripts/check_sources.py | |
| parent | 3ba1d188e015b5db28497183b5123362209dba4c (diff) | |
| download | pygments-b89ed802bc78e49a2923a656742861c24a49e2c6.tar.gz | |
Closes #734: support the Coq theorem prover.
Diffstat (limited to 'scripts/check_sources.py')
0 files changed, 0 insertions, 0 deletions