| Fri, 05 May 2017 18:35:30 +0200 |
wenzelm |
legacy version for Jenkins website;
|
changeset |
files
|
| Fri, 05 May 2017 18:32:18 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| 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
|
| Thu, 04 May 2017 15:15:07 +0100 |
paulson |
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
|
changeset |
files
|