[sisyphus] I: new package

Pavel S. Khmelinsky =?iso-8859-1?q?hmepas_=CE=C1_yauza=2Eru?=
Вс Мар 16 11:43:54 MSK 2003


Vitaly Lugovsky wrote:

>писать доказанно безошибочный код, и побольше!
>
> В ближайшее время в Сизиф пойдёт и система Krokatoa для
>доказательства аннотированного Java-кода.
>  
>
А что такое "аннотированный"?





Подробная информация о списке рассылки Sisyphus