New
- создание нового файла
Open - открытие файла
Save - сохранение файла
Close - закрытие файла
Print - печать файла
Printer setup - настройка принтера
Exit - выход из системы
Все
файлы созданные в системме имеют расширение PRG, хотя и допускается сохранение
файлов с другими расширениями.
При инсталляции системы пользователю предоставляется возможность установки
уже разработанных программ тестов. Они размещаються в директории Prover\PRG\.
В этой же директории размещен файл passport.txt в котором описаны особенности
каждого разработанного теста.
Для составления программ тестов можно использовать меню Edit и Search.
Они предназначены для упрощения процесса редактирования при составлении тестов.
Ниже приведены структуры этих меню с описание каждой операции.

Меню
Edit:
Undo
- вернуться на шаг назад
Cut - вырезать выделенную область
Copy - скопировать в буфер выделенную область
Paste - вставка из буфера
Clear All - удалить выделенную область

Меню
Search:
Find
- поиска фрагмента текста в программе
Replace - замена фыбранного фрагмента
Next - продолжить поиск