1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/paper/comments.txt	Fri May 27 22:52:44 2011 +0200
     1.3 @@ -0,0 +1,17 @@
     1.4 +Linear-Time Temporal Logic and Büchi Automata:
     1.5 +
     1.6 ++ examples
     1.7 ++ referencing
     1.8 +- bad title
     1.9 +- syntax mixed with interpretation
    1.10 +- no introduction to omega-regular languages
    1.11 +- short introduction to LTL semantics
    1.12 +
    1.13 +
    1.14 +
    1.15 +graphs:
    1.16 +
    1.17 ++ time progression, linear time ect.
    1.18 ++ infinite words as functions
    1.19 ++ ltl model as graph
    1.20 +

     2.1 --- a/paper/src/paper.tex	Fri May 27 20:54:16 2011 +0200
     2.2 +++ b/paper/src/paper.tex	Fri May 27 22:52:44 2011 +0200
     2.3 @@ -5,7 +5,7 @@
     2.4    Foundations of Artificial Intelligence\\ 
     2.5    Department of Computer Science\\ 
     2.6    University of Freiburg}
     2.7 -\date{\today}
     2.8 +\date{May, 2011}
     2.9  \begin{document}
    2.10  \maketitle
    2.11  \begin{abstract}