* ptexinfmt.el: @verb, @tie, @/ support.
authorkaoru <kaoru>
Tue, 1 Jul 2003 22:34:38 +0000 (22:34 +0000)
committerkaoru <kaoru>
Tue, 1 Jul 2003 22:34:38 +0000 (22:34 +0000)
commit1fcac028c86deb81d8cab08a9ea85b2cb32b9cb7
tree05fdc1eb6c801935df776c728bf30183c644cbf7
parent2472989035d25dcbe90a8941a51b31ebab8301a8
* ptexinfmt.el: @verb, @tie, @/ support.
(ptexinfmt-broken-facility): Abolish NO-NOTICE argument.
Use `ptexinfmt-disable-broken-notice-flag' instead.
utils/ChangeLog
utils/ptexinfmt.el