From df58918710e371c9e26c50704fc2d15aab579ef6 Mon Sep 17 00:00:00 2001
From: "sven.panne@aedion.de" <unknown>
Date: Wed, 14 Mar 2007 13:27:03 +0000
Subject: [PATCH] Added LaTeX commands for primitive types and pseudo ops

---
 docs/ext-core/core.tex |    8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/ext-core/core.tex b/docs/ext-core/core.tex
index 266d857..a0a75c3 100644
--- a/docs/ext-core/core.tex
+++ b/docs/ext-core/core.tex
@@ -889,6 +889,14 @@ Perhaps there should be a global flag in the file?}
 \par\noindent{\texttt{{{#3} :: {#6}}}}
 \\{#7} {#8}\\} 
 
+\newcommand{\primtypespec}[4]{
+\par\noindent{Primitive type: \texttt{{#2}}}
+\\{#3} {#4}\\}
+
+\newcommand{\pseudoopspec}[5]{
+\par\noindent{\texttt{{{#1} :: {#3}}}}
+\\{#4} {#5}\\}
+
 \input{prims.tex}
 
 \subsubsection{RealWorld}
-- 
1.7.10.4