Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/doc/report/lang.tex
ViewVC logotype

Diff of /branches/pure-cfg/doc/report/lang.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 939, Fri Apr 22 13:55:39 2011 UTC revision 940, Fri Apr 22 13:58:20 2011 UTC
# Line 7  Line 7 
7  \section{Global declarations}  \section{Global declarations}
8    
9  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10  \section{Actor definitions}  \section{Strand definitions}
11    
12  \subsection{Actor state}  \subsection{Strand state}
13    
14  \subsection{The update method}  \subsection{The update method}
15    
# Line 105  Line 105 
105    
106  \subsection{Atomic expressions}  \subsection{Atomic expressions}
107  \begin{Grammar}  \begin{Grammar}
108    \AtomExpRULES{}    \AtomExprRULES{}
109    \ArgumentsRULES{}    \ArgumentsRULES{}
110  \end{Grammar}%  \end{Grammar}%

Legend:
Removed from v.939  
changed lines
  Added in v.940

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0