Copy ptexinfmt.el from emacs-w3m/doc.
authorueno <ueno>
Sat, 2 Aug 2003 20:47:28 +0000 (20:47 +0000)
committerueno <ueno>
Sat, 2 Aug 2003 20:47:28 +0000 (20:47 +0000)
commitef520ab186ce7cc25f92eea62bfa224777ebc4c8
treecc772945410618bafb936d7f425a0d6e07e73c9b
parent52427b3519ec01d3f62aa4759977b5f738eaa6da
Copy ptexinfmt.el from emacs-w3m/doc.
doc/ptexinfmt.el