dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

I added the environment macrocode that replaces the old code
environment for the manual. I also added a new environment code to
replace the old. This has two consequences:

1. Use code for any straightforward verbatim text. You may now
write {} instead of \{\}.

2. Use macrocode if you want to insert commands like \textcolor{}.

Also, don't indent code at the top level:

\begin{code}
void foo()
{
  int a = 3;
}
\end{code}

instead of

\begin{code}
  void foo()
  {
    int a = 3;
  }
\end{code}

/Anders