Tue, 30 Aug 2016 09:04:40 +0200 | traytel | generate proper goal when equation is entered programmatically | changeset | files |
Mon, 29 Aug 2016 21:46:24 +0200 | wenzelm | clarified default; | changeset | files |
Fri, 26 Aug 2016 11:58:19 +0200 | Manuel Eberl | Bohr-Mollerup theorem for the Gamma function | changeset | files |