diff options
| author | Soonho Kong <soonhok@cs.cmu.edu> | 2014-11-24 22:11:50 -0500 |
|---|---|---|
| committer | Soonho Kong <soonhok@cs.cmu.edu> | 2014-11-24 22:11:50 -0500 |
| commit | 9298be28bf6f934658a6facf2263542f7826c2ba (patch) | |
| tree | dd0c66ac03cc4628c967165538815bb7ebbb16ee /tests/test_java.py | |
| parent | 55100eea85e7f55d07cc4b53ce94954711ef2182 (diff) | |
| download | pygments-9298be28bf6f934658a6facf2263542f7826c2ba.tar.gz | |
Add two missing operators '?' and '!' for Lean theorem prover
Diffstat (limited to 'tests/test_java.py')
0 files changed, 0 insertions, 0 deletions