4 Commits

Author	SHA1	Message	Date
Darcy Shen	31595662cb	fix typos, thanks to Zhaochong Jia	2017-10-13 06:30:48 +00:00
Joris van der Hoeven	46e583d6e9	Minor renamings	2015-05-09 17:15:02 +00:00
Darcy Shen	7509c36407	correct an error in man-enter-math.en.tm	2014-11-16 06:23:06 +00:00
Joris van der Hoeven	37b5b1132d	Rename	2011-08-28 07:59:50 +00:00