commit | 7760cdea81166b7741561043c58dae171811fb2f | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Fri Mar 17 16:03:11 1995 +0000 |
committer | Guido van Rossum <guido@python.org> | Fri Mar 17 16:03:11 1995 +0000 |
tree | b19c5d20bafa1e000a49259c1f09493bfe827038 | |
parent | e83e380930aaa7c258e1b31d65bff25bac1d0178 [diff] |
recognize more latex commands; add obindex