\header {
texidoc = "Individual ties may be formatted manually by
-specifying their @code{direction} and/or @code{staff-position}."
+specifying their @code{direction} and/@/or @code{staff-position}."
}
-\version "2.12.0"
+\version "2.14.0"
\paper {
ragged-right = ##t