1.1 --- a/paper/comments.txt	Tue Jul 12 17:54:45 2011 +0200
     1.2 +++ b/paper/comments.txt	Tue Jul 12 22:20:53 2011 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  - no introduction to omega-regular languages
     1.5  - short introduction to LTL semantics
     1.6  - no automata complement construction
     1.7 +- on-the-fly construction is too short
     1.8  
     1.9  - error on page 5: there must not be a state g in G along r
    1.10  - error on page 12: V : S -> 2^P