20.12.2010 23:14
Решил освоить редактор аксиоматики. Столкнулся с проблемой, что не могу удалить то, что создал. К примеру создать предметную область можно, а удалить нельзя. А я случайно создал не то, что хотел. Тоже самое с разделом предметной области. Вот.
В общем, не хватает функции удаления... :)