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