* ptexinfmt.el: Support @docbook, @ifdocbook, @ifnotdocbook, and @registeredsymbol.
authorkaoru <kaoru>
Wed, 11 Feb 2004 12:54:27 +0000 (12:54 +0000)
committerkaoru <kaoru>
Wed, 11 Feb 2004 12:54:27 +0000 (12:54 +0000)
commit2c1eaa45e79b2fad84d8fbbffaf4072238e9e8e1
tree5fe2f7d02815817a167a7b1e31f75848af7ea84c
parent33ac3df55b73b321b20619d1bcdbb2600e6a94f3
* ptexinfmt.el: Support @docbook, @ifdocbook, @ifnotdocbook, and @registeredsymbol.
utils/ChangeLog
utils/ptexinfmt.el