scribble/manual: fix history for Latex/PDF

This commit is contained in:
Matthew Flatt 2014-01-11 19:30:39 -07:00
parent f78a25ce41
commit c1af595c1b

View File

@ -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: