| Sat, 06 Oct 2018 08:59:05 +0200 |
nipkow |
generalization due to Alexander Maletzky
|
changeset |
files
|
| Fri, 05 Oct 2018 23:49:12 +0200 |
wenzelm |
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
|
changeset |
files
|
| Fri, 05 Oct 2018 17:49:10 +0200 |
nipkow |
more [simp]
|
changeset |
files
|
| Thu, 04 Oct 2018 16:40:03 +0200 |
wenzelm |
avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
|
changeset |
files
|
| Thu, 04 Oct 2018 15:25:58 +0100 |
paulson |
merged
|
changeset |
files
|
| Thu, 04 Oct 2018 15:25:47 +0100 |
paulson |
updates to Algebra from Baillon and de Vilhena
|
changeset |
files
|
| Thu, 04 Oct 2018 15:06:09 +0200 |
Lars Hupel |
use correct hostname
|
changeset |
files
|
| Thu, 04 Oct 2018 14:52:50 +0200 |
Lars Hupel |
Jenkins: detect machine; adjust job parameters accordingly
|
changeset |
files
|
| Thu, 04 Oct 2018 13:08:13 +0200 |
Lars Hupel |
Jenkins: tuned profiles
|
changeset |
files
|
| Thu, 04 Oct 2018 11:18:39 +0200 |
nipkow |
merged
|
changeset |
files
|
| Thu, 04 Oct 2018 10:35:29 +0200 |
nipkow |
simplified proofs
|
changeset |
files
|
| Thu, 04 Oct 2018 11:10:15 +0200 |
Lars Hupel |
Jenkins: delete obsolete profile
|
changeset |
files
|
| Wed, 03 Oct 2018 20:55:59 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 03 Oct 2018 13:20:05 +0200 |
wenzelm |
merged
|
changeset |
files
|