https://cocoa.dima.unige.it/redmine/https://cocoa.dima.unige.it/redmine/redmine/favicon.ico?15088260392014-08-01T06:59:56ZCoCoA ProjectCoCoALib - Feature #282: Global setting: to use IsProbPrime in place of IsPrimehttps://cocoa.dima.unige.it/redmine/issues/282?journal_id=30752014-08-01T06:59:56ZAnna Maria Bigatti
<ul><li><strong>Target version</strong> set to <i>CoCoALib-1.0</i></li></ul>