alice.tuprologx.ide

Class TheoryTabbedPane