Added LaTeX commands for primitive types and pseudo ops

diff --git a/docs/ext-core/core.tex b/docs/ext-core/core.tex
index 266d857..a0a75c3 100644 (file)
--- 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}\\} 
 
 \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}
 \input{prims.tex}
 
 \subsubsection{RealWorld}