# HG changeset patch
# User haftmann
# Date 1162560151 -3600
# Node ID c6f103e57c941d698cc4586ef9fe79fb1ffdae47
# Parent  87a03f9b7db2df3802b5b9ba2aecfca29587831c
added serialization keywords

diff -r 87a03f9b7db2 -r c6f103e57c94 doc-src/IsarAdvanced/Codegen/codegen.tex
--- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Thu Nov 02 14:27:18 2006 +0100
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Fri Nov 03 14:22:31 2006 +0100
@@ -33,6 +33,13 @@
 \newcommand{\isasymNOTE}{\cmd{note}}
 \newcommand{\isasymIN}{\cmd{in}}
 \newcommand{\isasymCODEGEN}{\cmd{code\_gen}}
+\newcommand{\isasymCODECONST}{\cmd{code\_const}}
+\newcommand{\isasymCODETYPE}{\cmd{code\_type}}
+\newcommand{\isasymCODECLASS}{\cmd{code\_class}}
+\newcommand{\isasymCODEINSTANCE}{\cmd{code\_instance}}
+\newcommand{\isasymCODERESERVED}{\cmd{code\_reserved}}
+\newcommand{\isasymCODEMODULENAME}{\cmd{code\_modulename}}
+\newcommand{\isasymCODEMODULEPROLOG}{\cmd{code\_moduleprolog}}
 \newcommand{\isasymPRINTCODETHMS}{\cmd{print\_codethms}}
 \newcommand{\isasymFUN}{\cmd{fun}}
 \newcommand{\isasymFUNCTION}{\cmd{function}}