Am So., 3. Jan. 2021 um 18:34 Uhr schrieb Werner LEMBERG <[email protected]>: > > > > Used properties (Werner's proposal): > > @itemize > > @item @code{number} [default: 3] > > @item @code{pair} [default: (0 . 0)] > > @item @code{empty-list} [default: ()] > > @end itemize > > Actually, my suggestion should be formatted like this: > > @itemize > @item @code{number} [default: @code{3}] > @item @code{pair} [default: @code{(0 . 0)}] > @item @code{empty-list} [default: @code{()}] > @end itemize > > > Werner
Ofcourse! Same for Michael's one, I assume. Cheers, Harm
