Mon, 24 Oct 2016 13:50:12 +0200 | eberlm | Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory | changeset | files |
Sun, 23 Oct 2016 16:44:17 +0200 | wenzelm | more readable output: whitespace is insignificant in HTML; | changeset | files |
Sun, 23 Oct 2016 16:37:59 +0200 | wenzelm | misc tuning and clarification; | changeset | files |