1996-07-29 | karl | (\indexfonts): Make leading be 12pt. Otherwise, it... | blob | commitdiff |
1996-07-28 | karl | (paragraphindent): Move to more reasonable place in... | blob | commitdiff | diff to current |
1996-07-28 | karl | Initial revision | blob | commitdiff | diff to current |