diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/scribble.tex b/pkgs/scribble-pkgs/scribble-lib/scribble/scribble.tex index 6f6e7fcf..f29ddfcc 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/scribble.tex +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/scribble.tex @@ -380,6 +380,9 @@ % For URLs: \newcommand{\Snolinkurl}[1]{\nolinkurl{#1}} +% History note: +\newcommand{\SHistory}[1]{\begin{smaller}#1\end{smaller}} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Scribble then generates the following: