Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

нижняя линия приема

2013-02-04 23:15:18 (читать в оригинале)

Заметим, что при этом нижняя линия приема перекрасится из голубого цвета в черный — так как программа приема все-таки есть, хотя это и старая версия. Для приведения программы приема в соответствие с его описанием нужно было бы нажать «F5». Однако в упражнении требуется применить другой режим компиляции, после которого просмотр термов, идентифицированных с теоремными переменными, [...]