diff options
| author | Stefan Krah <skrah@bytereef.org> | 2012-04-18 19:27:32 +0200 |
|---|---|---|
| committer | Stefan Krah <skrah@bytereef.org> | 2012-04-18 19:27:32 +0200 |
| commit | c51b7fd65b8c7476180c965d48390431b2d558e6 (patch) | |
| tree | 5fb4e132eddf655bdda222bfda9a2f96784fdcd4 /Lib/html/parser.py | |
| parent | 5d0d2e2b04631e5ad9c7dad60e6be75c02f8e050 (diff) | |
| download | cpython-git-c51b7fd65b8c7476180c965d48390431b2d558e6.tar.gz | |
1) Simplify comment -- one has to read the complete proof (available in ACL2)
in order to understand the algorithm anyway.
2) v->exp == -v->digits may be assumed.
3) Fix comment (v always shares data with a).
Diffstat (limited to 'Lib/html/parser.py')
0 files changed, 0 insertions, 0 deletions