Closed dmarmsoler closed 6 years ago
whenever a "\\<^sub>c p." or a "\\<^sub>c p." is generated there must be a space after the dot.
whenever a "\\<^sub>c p." or a "\\<^sub>c p." is generated there must be a space after the dot.