Wolfram Schneider e627b39bac delete doubled words, e.g.: "the the" -> "the"		1996-10-05 18:37:31 +00:00
..
abs.ms
appendix.ms
conclusions.ms	delete doubled words, e.g.: "the the" -> "the"	1996-10-05 18:37:31 +00:00
equip.ms
Makefile
methodology.ms
motivation.ms
results.ms
tests.ms	delete doubled words, e.g.: "the the" -> "the"	1996-10-05 18:37:31 +00:00