#1217 (Jun 24, 2019, 2:17:06 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. merge from afp-2019 (detail)
2. new entry Linear_Inequalities (detail)
3. Nullstellensatz website (detail)
4. new entry Nullstellensatz (detail)
5. new entry: Groebner_Macaulay by Alexander Maletzky (detail)
6. New entry IMP2_Binary_Heap (detail)
7. update usage instructions to 2019 (detail)
8. add 2019 releases for existing entries (detail)
9. update release dates for 2019 (detail)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 8 min 6 sec build duration;
• 10 min total from scheduled to completion.

• Groebner_Macaulay
• Nullstellensatz