Thu, 14 Apr 2016 15:48:11 +0200 |
hoelzl |
Probability: move emeasure and nn_integral from ereal to ennreal
|
changeset |
files
|
Thu, 14 Apr 2016 12:17:44 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 14 Apr 2016 12:08:38 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
Thu, 14 Apr 2016 12:00:29 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 14 Apr 2016 11:34:10 +0200 |
wenzelm |
back to exact copy of non-text file (amending dcc8e1d34b18);
|
changeset |
files
|
Wed, 13 Apr 2016 18:04:27 +0200 |
wenzelm |
merged
|
changeset |
files
|
Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
changeset |
files
|
Wed, 13 Apr 2016 17:00:02 +0200 |
wenzelm |
clarified syntax;
|
changeset |
files
|
Wed, 13 Apr 2016 16:46:05 +0200 |
wenzelm |
more completions, independently on accidental external form (e.g. "Map.empty" with its redundant prefix);
|
changeset |
files
|
Wed, 13 Apr 2016 14:25:02 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 13 Apr 2016 11:31:13 +0200 |
wenzelm |
clarified syntax;
|
changeset |
files
|
Wed, 13 Apr 2016 11:26:52 +0200 |
wenzelm |
avoid quotes for qualified names;
|
changeset |
files
|
Wed, 13 Apr 2016 14:12:51 +0200 |
immler |
added rule
|
changeset |
files
|
Tue, 12 Apr 2016 18:49:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 12 Apr 2016 15:01:06 +0200 |
wenzelm |
merged
|
changeset |
files
|