| Thu, 25 Feb 2016 16:53:34 +0000 | paulson | Merge | changeset | files |
| Thu, 25 Feb 2016 16:49:00 +0000 | paulson | partial tidy-up of Sylow's theorem | changeset | files |
| Thu, 25 Feb 2016 16:16:29 +0100 | wenzelm | proper option process_output_tail, more generous default; | changeset | files |