From db1a3b4139fea27582e0047e82eba3d8818eb8d8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 11 Jan 2014 19:30:39 -0700 Subject: [PATCH] scribble/manual: fix `history` for Latex/PDF original commit: c1af595c1bc0071b4fcbcf56fa77715f0e09a9bf --- pkgs/scribble-pkgs/scribble-lib/scribble/scribble.tex | 3 +++ 1 file changed, 3 insertions(+) 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: