K 10
svn:author
V 2
bf
K 8
svn:date
V 27
2011-05-27T18:11:32.000000Z
K 7
svn:log
V 71
Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.

END