diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-08-21 09:44:58 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-08-21 09:44:58 +0000 |
| commit | 8341c5c36e88000e24bfd26d62c98805fc96fdcf (patch) | |
| tree | e79189602238f756f686bf7805d91289cbe22d2c /support/latex/scaladefs.sty | |
| parent | da5c361c7af30fc25f542bad8e12f3fceefc144d (diff) | |
| download | scala-8341c5c36e88000e24bfd26d62c98805fc96fdcf.tar.gz scala-8341c5c36e88000e24bfd26d62c98805fc96fdcf.tar.bz2 scala-8341c5c36e88000e24bfd26d62c98805fc96fdcf.zip | |
*** empty log message ***
Diffstat (limited to 'support/latex/scaladefs.sty')
| -rw-r--r-- | support/latex/scaladefs.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/latex/scaladefs.sty b/support/latex/scaladefs.sty index 578fcfa3fa..9fa86e130d 100644 --- a/support/latex/scaladefs.sty +++ b/support/latex/scaladefs.sty @@ -68,6 +68,6 @@ \newcommand{\EOL}{\la\mbox{EOL}\ra} \newcommand{\syntax}{{\bf Syntax:}} \newcommand{\todo}[1]{$\clubsuit$ {\bf #1} $\spadesuit$} -\newcommand{\Dollar}{\$}%$ +\newcommand{\Dollar}{\mbox{\$}}%$ \newcommand{\sref}[1]{\S\ref{#1}} \newcommand{\nyi}[1]{\footnote{#1 not yet implemented.}}
\ No newline at end of file |