search

math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

add a guideline for end of sentences #29

Closed ybertot closed 7 years ago

ybertot commented 7 years ago

so that they are well recognized by existing tools in Emacs.