--- a/doc-src/Codegen/Thy/document/Foundations.tex Wed Oct 19 22:54:26 2011 +0200
+++ b/doc-src/Codegen/Thy/document/Foundations.tex Wed Oct 19 23:07:48 2011 +0200
@@ -184,13 +184,7 @@
\noindent The current setup of the preprocessor may be inspected
using the \indexdef{}{command}{print\_codeproc}\hypertarget{command.print-codeproc}{\hyperlink{command.print-codeproc}{\mbox{\isa{\isacommand{print{\isaliteral{5F}{\isacharunderscore}}codeproc}}}}} command. \indexdef{}{command}{code\_thms}\hypertarget{command.code-thms}{\hyperlink{command.code-thms}{\mbox{\isa{\isacommand{code{\isaliteral{5F}{\isacharunderscore}}thms}}}}} (see \secref{sec:equations}) provides a convenient
mechanism to inspect the impact of a preprocessor setup on code
- equations.
-
- \begin{warn}
- Attribute \hyperlink{attribute.code-unfold}{\mbox{\isa{code{\isaliteral{5F}{\isacharunderscore}}unfold}}} also applies to the
- preprocessor of the ancient \isa{SML\ code\ generator}; in case
- this is not what you intend, use \hyperlink{attribute.code-inline}{\mbox{\isa{code{\isaliteral{5F}{\isacharunderscore}}inline}}} instead.
- \end{warn}%
+ equations.%
\end{isamarkuptext}%
\isamarkuptrue%
%