Ignore:
Timestamp:
Feb 24, 2012, 2:05:00 PM (9 years ago)
Author:
boender
Message:
  • small change (layout)
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1737 r1738  
    497497
    498498\begin{displaymath}
    499 \mathtt{CALL}\ id \mapsto \mathtt{set\_params}; \mathtt{CALL} id; \mathtt{fetch\_result}
     499\mathtt{CALL}\ id \mapsto \mathtt{set\_params};\ \mathtt{CALL}\ id;\ \mathtt{fetch\_result}
    500500\end{displaymath}
    501501
Note: See TracChangeset for help on using the changeset viewer.