Closed GoogleCodeExporter closed 8 years ago
Original comment by pavel.kl...@gmail.com
on 8 Aug 2012 at 10:57
Issue 17 has been merged into this issue.
Original comment by pavel.kl...@gmail.com
on 3 Jun 2013 at 10:40
Pushed to 0.5
Original comment by pavel.kl...@gmail.com
on 5 Jun 2013 at 10:26
Fixed in v. 0.4.0 using incremental reasoning
Original comment by ykazako...@gmail.com
on 19 Jul 2013 at 2:37
Original issue reported on code.google.com by
pavel.kl...@gmail.com
on 8 Aug 2012 at 10:56