| 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
|
| Thu, 04 May 2017 15:14:49 +0100 |
paulson |
A few more new lemmas
|
changeset |
files
|
| Thu, 04 May 2017 15:10:51 +0200 |
wenzelm |
more permissive, e.g. for system operations as in 678e00851cfb;
|
changeset |
files
|
| Thu, 04 May 2017 14:58:19 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 04 May 2017 14:57:31 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 04 May 2017 12:30:19 +0200 |
wenzelm |
prefer standard getOrElse;
|
changeset |
files
|
| Thu, 04 May 2017 12:27:18 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 04 May 2017 12:23:14 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 04 May 2017 12:15:50 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Thu, 04 May 2017 11:34:42 +0200 |
wenzelm |
merged
|
changeset |
files
|