| Tue, 18 Oct 2016 13:56:49 +0200 |
wenzelm |
clarified properties;
|
changeset |
files
|
| Tue, 18 Oct 2016 13:44:54 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 18 Oct 2016 11:50:38 +0200 |
wenzelm |
support for free-form build tags;
|
changeset |
files
|
| Tue, 18 Oct 2016 11:24:14 +0200 |
wenzelm |
explicit identification of builds and correlated build groups;
|
changeset |
files
|
| Tue, 18 Oct 2016 10:11:22 +0200 |
wenzelm |
avoid spamming log file;
|
changeset |
files
|
| Tue, 18 Oct 2016 10:05:38 +0200 |
wenzelm |
shared_home is default for classic isatest home setup;
|
changeset |
files
|
| Tue, 18 Oct 2016 23:47:33 +0200 |
hoelzl |
add missing file Essential_Supremum.thy
|
changeset |
files
|
| Tue, 18 Oct 2016 19:28:39 +0100 |
paulson |
Merge
|
changeset |
files
|
| Tue, 18 Oct 2016 19:12:40 +0100 |
paulson |
Inserted necessary dependency
|
changeset |
files
|
| Tue, 18 Oct 2016 18:48:53 +0200 |
haftmann |
suitable logical type class for abs, sgn
|
changeset |
files
|
| Tue, 18 Oct 2016 17:29:28 +0200 |
hoelzl |
HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
|
changeset |
files
|
| Tue, 18 Oct 2016 16:05:24 +0100 |
paulson |
Merge
|
changeset |
files
|