diff move-if-change @ 85476:335df812816b

("\\qed"): Add this rule.
author Kenichi Handa <handa@m17n.org>
date Sat, 20 Oct 2007 06:26:26 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff