equal
deleted
inserted
replaced
347 \item A \alert{state} is a list of events |
347 \item A \alert{state} is a list of events |
348 \end{itemize} |
348 \end{itemize} |
349 |
349 |
350 \pause |
350 \pause |
351 |
351 |
352 % \begin{center} |
352 \begin{center} |
353 % \includegraphics[scale=0.4]{EventAbstract.png} |
353 \includegraphics[scale=0.4]{EventAbstract.png} |
354 % \end{center} |
354 \end{center} |
355 |
355 |
356 \end{frame}} |
356 \end{frame}} |
357 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
357 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
358 |
358 |
359 *} |
359 *} |