scribble/manual: fix history for Latex/PDF

original commit: c1af595c1bc0071b4fcbcf56fa77715f0e09a9bf
This commit is contained in:
Matthew Flatt 2014-01-11 19:30:39 -07:00
parent 40d6caf08a
commit db1a3b4139

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: