Ignore:
Timestamp:
Oct 19, 2011, 4:03:41 PM (10 years ago)
Author:
mulligan
Message:

more added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/reports/D4-2.tex

    r1394 r1414  
    470470Translation specific files (files relating to language semantics have been omitted) are presented in Table~\ref{table.syntax}.
    471471
     472% dpm: shouldn't all these also include joint.ma
    472473\begin{table}
    473474\begin{threeparttable}
     
    479480\texttt{RTL/RTL.ma} & The syntax of RTL & \texttt{RTL/RTL.mli} & 0.41 \\
    480481\texttt{ERTL/ERTL.ma} & The syntax of ERTL & \texttt{ERTL/ERTL.mli} & 0.13 \\
     482\texttt{joint/joint_LTL_LIN.ma} & The abstracted joint syntax of the LTL and LIN languages & N/A & N/A \\
    481483\texttt{LTL/LTL.ma} & The syntax of LTL & \texttt{LTL/LTL.mli} & 0.19\tnote{a} \\
    482484\texttt{LIN/LIN.ma} & The syntax of LIN & \texttt{LIN/LIN.mli} & 0.31\tnote{a}
Note: See TracChangeset for help on using the changeset viewer.