Айк![]() Сообщений: 3768 |
Решил освоить редактор аксиоматики. Столкнулся с проблемой, что не могу удалить то, что создал. К примеру создать предметную область можно, а удалить нельзя. А я случайно создал не то, что хотел. Тоже самое с разделом предметной области. Вот.
|
Род: ![]() nan ![]() Сообщений: 12259 ![]() |
сорри, сделаю как только освобожусь... |
Род: ![]() nan ![]() Сообщений: 12259 ![]() |
удаления сделал, кое какие лажи выправил, так что можно тестировать. |