History of file doc/stml-manual.odt at check-in d3fdfad50d6025c0