> -- budden писал(а):
> П-п-д осталось моей последней надеждой, но оказывается, что инструментов для п-п-д для Оберона нет.Увы, Вы так и не поняли, что такое программирование под доказательство. Я не знаю, что можно ещё сказать, чтобы объяснить.
Впрочем, в этой теме я отвечал не Вам, а Владимиру Ситникову -viewtopic.php?f=3&t=5809&start=140#p103822