[X10-commits] x10.man/paper paper.pdf, 1.38, 1.39 semantics.tex, 1.30, 1.31

[Nate N. <njn...@us...>]

Update of /cvsroot/x10/x10.man/paper
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv1024

Modified Files:
	paper.pdf semantics.tex 
Log Message:
Formatting.


Index: semantics.tex
===================================================================
RCS file: /cvsroot/x10/x10.man/paper/semantics.tex,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -d -r1.30 -r1.31
--- semantics.tex	19 Mar 2008 22:04:02 -0000	1.30
+++ semantics.tex	20 Mar 2008 04:20:35 -0000	1.31
@@ -221,7 +221,7 @@
 
 \vspace{-12pt}
 
-\begin{tabular}{p{0.2\textwidth}p{0.25\textwidth}p{0.2\textwidth}p{0.35\textwidth}}
+\begin{tabular}{p{0.1\textwidth}p{0.3\textwidth}p{0.2\textwidth}p{0.4\textwidth}}
 
 \infax{
 {\tt C} \subtype {\tt C}
@@ -274,7 +274,7 @@
 
 &
 
-\typicallabel{R-Invk}
+\typicallabel{R-Invk-Recv}
 
 \infrule[\RInvk]
 {\mathit{mbody}({\tt m},{\tt C})=\bar{x}. {\tt e}_0}

Index: paper.pdf
===================================================================
RCS file: /cvsroot/x10/x10.man/paper/paper.pdf,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -d -r1.38 -r1.39
Binary files /tmp/cvsEEzjku and /tmp/cvs1QOsDH differ