trailing newlines in *.{sml,sig} files from src/ removed Trailing newlines from SML files in src/ were rendered in HTML documentation.
Change src/bool to src/1 as a prelude to experimentation!