doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy

 
   \begin{itemize}
 
   \item the Isabelle/Isar Reference Manual \cite{isabelle-isar-ref}
     for exhaustive syntax diagrams.
-  \item or \fixme{ref} which deals with foundational issues
+  \item or \fixme[ref] which deals with foundational issues
     of the code generator framework.
 
   \end{itemize}
 *}
 

   \begin{warn}
     Some interfaces discussed here have not reached
     a final state yet.
     Changes likely to occur in future.
   \end{warn}
+
+  \fixme
 *}
 
 subsubsection {* Data depending on the theory's executable content *}
 
 text {*

   @{index_ML DatatypeCodegen.add_codetypes_hook_bootstrap: "
       DatatypeCodegen.hook -> theory -> theory"}
   \end{mldecls}
 *}
 
-(*text {*
-  \emph{Happy proving, happy hacking!}
-*}*)
+text {*
+  \fixme
+%  \emph{Happy proving, happy hacking!}
+*}
 
 end