| Fri, 05 May 2017 18:15:53 +0200 |
wenzelm |
detect database entries;
|
changeset |
files
|
| Fri, 05 May 2017 18:12:21 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 05 May 2017 17:20:50 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| 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
|
| Thu, 04 May 2017 15:20:57 +0200 |
wenzelm |
redundant;
|
changeset |
files
|