Closed GoogleCodeExporter closed 9 years ago
1. Choose 'Доказательство' 2. Choose 'доказывает' 3. The only 'Утверждение' item is displayed at this time. It's necessary to display all of its subclasses.
Original issue reported on code.google.com by nikita.z...@gmail.com on 20 Jan 2010 at 1:01
nikita.z...@gmail.com
Original comment by nikita.z...@gmail.com on 24 Jan 2010 at 2:39
Original comment by nikita.z...@gmail.com on 24 Jan 2010 at 6:03
Original issue reported on code.google.com by
nikita.z...@gmail.com
on 20 Jan 2010 at 1:01