ermail/isabelle-dev/attachments/20090619/8ad24e9e/attachment.pgp>
* NewNumberTheory: Jeremy Avigad's new version of part of NumberTheory.
If possible, use NewNumberTheory, not NumberTheory.
Thanks Jeremy, we look forward to the rest of NumberTheory.
Tobias
On Thu, 18 Jun 2009, Brian Huffman wrote:
> "Normally make gives up immediately in this circumstance, returning a
> nonzero status. However, if the `-k' or `--keep-going' flag is
> specified, make continues to consider the other prerequisites of the
> pending targets, remaking them if necessary, b