diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index e5e9b8eb97..305df9e168 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -77,8 +77,6 @@ \newcommand{\bibentry}[1]{\parbox[t]{0.8\linewidth}{#1}} -\renewcommand{\Scribtexttt}[1]{{\texttt{\textbf{#1}}}} - \newenvironment{bigtabular}{\vspace{0ex} \begin{stabular}}{\end{stabular}