Joris van der Hoeven 49b177e370 Fix		2015-05-12 09:14:23 +00:00
..
man-customized-semantics.en.tm	Rename	2011-08-28 07:59:50 +00:00
man-customized-semantics.zh.tm	Doc_zh: main/math from half to full width	2015-04-11 17:03:04 +00:00
man-semantics-symbols.en.tm	Fix	2015-05-12 09:14:23 +00:00
man-semantics.en.tm	Rename	2011-08-28 07:59:50 +00:00
man-semantics.zh.tm	Doc_zh: main/math from half to full width	2015-04-11 17:03:04 +00:00
man-syntax-correction.en.tm	Updates in documentation and more efficient docgrep	2013-10-11 09:56:39 +00:00