Diff for /res/PP-compiler.tex between versions 1.16 and 1.17

version 1.16, 2009/06/29 18:13:13 version 1.17, 2009/06/29 18:14:19
Line 325  verification, implementation, and applic Line 325  verification, implementation, and applic
 {\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\  {\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\
 NN1 & PhD & reliable compilation / simulation & 4 years \\  NN1 & PhD & reliable compilation / simulation & 4 years \\
 NN2 & PhD & verified compilation              & 4 years \\  NN2 & PhD & verified compilation              & 4 years \\
 NN3 & PhD & resource analysis                 & 4 years \\  NN3 & PhD & verified compilation              & 4 years \\
   NN4 & PhD & resource analysis                 & 4 years \\
 \hline  \hline
 \end{tabular}  \end{tabular}
   

Removed from v.1.16  
changed lines
  Added in v.1.17


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>