| Sat, 28 Sep 2019 12:38:34 +0200 |
wenzelm |
tuned messages (again) -- avoid confusion wrt. total remaining size;
|
changeset |
files
|
| Thu, 26 Sep 2019 21:22:58 +0200 |
nipkow |
added lemma
|
changeset |
files
|
| Thu, 26 Sep 2019 15:25:51 +0200 |
wenzelm |
more Phabricator configuration;
|
changeset |
files
|
| Thu, 26 Sep 2019 12:24:02 +0100 |
paulson |
A little more material from the Fourier AFP entry, and the correction of two very slow proof lines
|
changeset |
files
|
| Wed, 25 Sep 2019 21:39:43 +0200 |
wenzelm |
boot with Phabricator PHP daemon;
|
changeset |
files
|
| Wed, 25 Sep 2019 20:12:20 +0200 |
wenzelm |
clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
|
changeset |
files
|
| Wed, 25 Sep 2019 19:40:00 +0200 |
wenzelm |
disable lrzcloud1 -- superseded by lrzcloud2;
|
changeset |
files
|
| Wed, 25 Sep 2019 18:39:47 +0200 |
nipkow |
merged
|
changeset |
files
|
| Wed, 25 Sep 2019 17:22:57 +0200 |
nipkow |
replaced new type ('a,'b) tree by old type ('a*'b) tree.
|
changeset |
files
|
| Wed, 25 Sep 2019 14:31:00 +0200 |
wenzelm |
more Phabricator configuration;
|
changeset |
files
|
| Tue, 24 Sep 2019 17:36:14 +0200 |
nipkow |
merged
|
changeset |
files
|
| Tue, 24 Sep 2019 16:10:34 +0200 |
nipkow |
merged
|
changeset |
files
|
| Tue, 24 Sep 2019 16:10:27 +0200 |
nipkow |
simplified proofs
|
changeset |
files
|
| Tue, 24 Sep 2019 16:17:37 +0200 |
wenzelm |
some information about Phabricator server setup;
|
changeset |
files
|