| Thu, 23 Jun 2011 11:19:41 +0200 | blanchet | give slightly more time to server to respond, to avoid leaving too much garbage on Geoff's servers | changeset | files |
| Thu, 23 Jun 2011 12:02:54 +0200 | ballarin | Release notes should be written from the user's perspective. Don't assume the user has universal knowledge of the system. | changeset | files |
| Wed, 22 Jun 2011 15:58:55 -0700 | huffman | generalize lemmas power_number_of_even and power_number_of_odd | changeset | files |
| Wed, 22 Jun 2011 13:45:32 -0700 | huffman | merged | changeset | files |