| Fri, 05 May 2017 11:38:09 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 05 May 2017 11:16:13 +0200 | Manuel Eberl | NEWS: totient 1 = 1 now | changeset | files |
| Thu, 04 May 2017 22:19:59 +0200 | eberlm | Merged | changeset | files |
| Thu, 04 May 2017 16:49:29 +0200 | eberlm | More material on totient function | changeset | files |
| Thu, 04 May 2017 16:54:51 +0200 | wenzelm | merged | changeset | files |
| Thu, 04 May 2017 16:49:46 +0200 | wenzelm | clarified universal view: include pull_date; | changeset | files |
| Thu, 04 May 2017 15:38:24 +0200 | wenzelm | clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots; | changeset | files |
| Thu, 04 May 2017 15:31:27 +0200 | wenzelm | clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that; | changeset | files |