K 10 svn:author V 8 keramida K 8 svn:date V 27 2005-01-09T22:49:24.000000Z K 7 svn:log V 115 Fix typos and add .Pp after the end of a display to separate the displayed text from the paragraph right after it. END