diff --git a/doc/refs/kern.tex b/doc/refs/kern.tex
index ec565d4..8d38457 100644
--- a/doc/refs/kern.tex
+++ b/doc/refs/kern.tex
@@ -1,7 +1,7 @@
 %
 % GNO Kernel Reference Manual
 %
-% $Id: kern.tex,v 1.1 1997/11/24 05:07:27 gdr Exp $
+% $Id: kern.tex,v 1.2 1997/11/28 17:10:14 gdr Exp $
 % 
 
 \documentclass{report}
@@ -23,24 +23,6 @@
 \parindent=0pt
 \parskip=1pc
 
-
-%
-% boldface list
-%
-
-%
-% typewriter list
-%
-\newenvironment{ttlist}[1]{%
-  \begin{list}{}{%
-  \settowidth{\labelwidth}{\texttt{#1}}
-  \setlength{\leftmargin}{\labelwidth}
-  \addtolength{\leftmargin}{\labelsep}
-  \setlength{\parsep}{0.5ex plus0.2ex minus0.2ex}
-  \setlength{\itemsep}{0.3ex}
-  \renewcommand{\makelabel}[1]{\texttt{##1\hfill}}}}
-{\end{list}}
-
 %
 %	CHAPTER:  Introduction
 %