spacing of page layout can be adjusted.
For technical reasons, @code{overrideProperty} has to be used for
-setting properties on individual object. @code{\override} may still be
+setting properties on individual object. @code{\\override} may still be
used for global overrides.
-By setting @code{annotatespacing}, we can see the effect of each property.
+By setting @code{annotate-spacing}, we can see the effect of each property.
"
}
-\version "2.7.39"
+\version "2.12.0"
#(set-global-staff-size 11)