commit 0e45d725eabdcb8632aa115983414d50dd8fcfe3
parent a0beff1796ba45742b6a1d93f180dd74ecf92c70
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 22 Feb 2009 16:01:53 +0000
PLaneT typesetting
svn: r13791
original commit: e6ee0cd001636d55e8b692a109c1c95bbbf1b23b
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
@@ -70,7 +70,7 @@
\newcommand{\imageleft}[1]{} % drop it
\renewcommand{\smaller}[1]{\textsmaller{#1}}
\newcommand{\refpara}[1]{\marginpar{\raggedright \footnotesize #1}}
-\newcommand{\planetName}[1]{PLane$\!$T}
+\newcommand{\planetName}[1]{PLane\hspace{-0.1ex}T}
\newcommand{\titleAndEmptyVersion}[2]{\title{#1}\maketitle}
\newcommand{\titleAndVersion}[2]{\title{#1\\{\normalsize Version #2}}\maketitle}