@@ -88,7 +88,7 @@
\setlength{\labelsep}{0pt}%
}
{\end{list}}
-%
+%
% remarks
%
\newenvironment{remark}{\par\makebox[0pt][r]{\bfseries{}Remark:\hspace{.25em}}}{\par}
@@ -224,7 +224,7 @@
% PDF stuff
\ifpdf
-\usepackage[pdftex,bookmarks=true]{hyperref}
+% \usepackage[pdftex,bookmarks=true]{hyperref}
\usepackage{times}
\usepackage[T1]{fontenc}
\pdfcompresslevel=9