# Ключевые особенности Экстеор 4

Ниже приведен ряд отличий Экстеор 4 от своего предшественника ExTeor 3.0.

1. Улучшено взаимодействие пользователя с программой
   - Внедрена процедура установки и удаления программы с помощью стандартного установщика Windows.
   - В выражениях родов структур используется стандартная кодировка вместо специфического шрифта Boolean (можно копировать текст формального выражения из окна Экстеор 4 в любой другой текстовый редактор).
   - Добавлена встроенная справка по нажатию на клавишу F1.
   - Во все интерфейсы добавлены контекстные меню, дублирующие часть функций основного меню.
   - Переработаны панели инструментов.
   - Расширен перечень регулируемых параметров, доступных для подстройки программы под индивидуальные предпочтения каждого пользователя.
   - Добавлена возможность написать письмо разработчикам с описанием ошибки.
   - Добавлена система версий форматов файлов Экстеор 4, обеспечивающая полную поддержку работы с файлами, сохраненными в предыдущих версиях.
   - Устранено множество ошибок и опечаток.
2. Расширены возможности работы с РС-формой КС:
   - добавлены атрибуты конституенты комментарий и термин;
   - реализовано создание конституент на основе существующих: cоздание терм-функции, использование терм-функции для создания термов, создание термов, составляющих структуру выражения с заданной типизацией;
   - контроль индексации конституент;
   - редактирование списка конституент;
   - цветовая индикация статусов конституент;
   - cинтаксический и семантический контроль выражения ЯРС;
   - идентификация ошибок в некорректном выражении ЯРС;
   - реализовано автоматическое вычисление типизаций конституент;
   - осуществляется контроль корректности РС-формы КС.
3. Добавлена возможность работы с концептуальной моделью:
   - сохранение и загрузка файла КМ;
   - редактирование интерпретации базовых понятий КС;
   - вычисление теоретико-множественных интерпретаций термов;
   - вычисление значений аксиом и теорем;
   - вычисление мощностей множеств, интерпретирующих понятия КС;
   - осуществляется контроль корректности КМ.
4. Существенно улучшен интерфейс работы с операционной схемы синтеза:
   - переработана система статусов пиктограмм;
   - внедрено автоматическое выполнение операций;
   - реализовано сквозное внесение изменений в пиктограммы ОСС;
   - добавлено сохранение графа ОСС в файл PNG;
   - новый набор иконок позволяет четко различать статусы пиктограмм;
   - существенно расширены возможности графического интерфейса ОСС:
     - добавлена возможность прикрепления гиперссылки к пиктограмме;
     - скроллинг в окне графа ОСС;
     - иконка наличия связанного с пиктограммой файла;
     - выбор активной пиктограммы с помощью клавиш курсора на клавиатуре;
   - переработан лог операций ОСС;
   - добавлена возможность сохранения лога ОСС в текстовом документе.