* ptexinfmt.el (slanted): Rename @s to @slanted.
authorkaoru <kaoru>
Mon, 2 Aug 2004 18:30:11 +0000 (18:30 +0000)
committerkaoru <kaoru>
Mon, 2 Aug 2004 18:30:11 +0000 (18:30 +0000)
commiteabeb577f6aa31d58c9e13bd9b74072a317fd8bf
tree774fe214b5b6416c65b972ab675befc2f1cc418e
parent2133e323ad336d7b2d74f7c9d9a5a3ca239d8b96
* ptexinfmt.el (slanted): Rename @s to @slanted.
utils/ChangeLog
utils/ptexinfmt.el