1. 6f0132f * text2latex.py: call main() instead of always processing ext.tex. by Guido van Rossum · 31 years ago
  2. db65a6c * ext.tex: did most of the tedious changes from plain ASCII text to LaTeX. by Guido van Rossum · 31 years ago
  3. 7a2dba2 * ext.tex: documentation for extending, reference counts, and embedding by Guido van Rossum · 31 years ago