Wed, 22 Jun 2016 16:04:03 +0200 |
wenzelm |
report class parameters within instantiation;
|
changeset |
files
|
Wed, 22 Jun 2016 11:10:18 +0200 |
wenzelm |
clarified PIDE markup;
|
changeset |
files
|
Wed, 22 Jun 2016 10:42:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 22 Jun 2016 10:40:53 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Wed, 22 Jun 2016 10:09:20 +0200 |
wenzelm |
bundle lifting_syntax;
|
changeset |
files
|
Tue, 21 Jun 2016 17:35:45 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 21 Jun 2016 17:25:28 +0200 |
wenzelm |
clarified derived bindings (for PIDE reports);
|
changeset |
files
|
Tue, 21 Jun 2016 17:21:57 +0200 |
wenzelm |
clarified rendering (amending ae9330fdbc16);
|
changeset |
files
|
Tue, 21 Jun 2016 16:10:03 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
Tue, 21 Jun 2016 15:10:43 +0200 |
wenzelm |
merged
|
changeset |
files
|
Tue, 21 Jun 2016 14:42:47 +0200 |
wenzelm |
position information for literal facts;
|
changeset |
files
|
Tue, 21 Jun 2016 11:03:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 21 Jun 2016 10:41:29 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 21 Jun 2016 12:10:44 +0200 |
hoelzl |
Multivariate_Analysis: add continuous_on_vec_lambda
|
changeset |
files
|
Thu, 16 Jun 2016 23:03:27 +0200 |
hoelzl |
Probability: show that measures form a complete lattice
|
changeset |
files
|