| Fri, 23 Sep 2016 18:34:34 +0200 | hoelzl | move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral | changeset | files |
| Fri, 23 Sep 2016 10:26:04 +0200 | hoelzl | prove HK-integrable implies Lebesgue measurable; prove HK-integral equals Lebesgue integral for nonneg functions | changeset | files |
| Thu, 22 Sep 2016 15:56:37 +0100 | paulson | Merge | changeset | files |
| Thu, 22 Sep 2016 15:44:47 +0100 | paulson | More mainly topological results | changeset | files |
| Thu, 22 Sep 2016 15:41:47 +0200 | wenzelm | merged | changeset | files |
| Thu, 22 Sep 2016 11:25:27 +0200 | wenzelm | discontinued raw symbols; | changeset | files |
| Thu, 22 Sep 2016 00:12:17 +0200 | wenzelm | raw control symbols are superseded by Latex.embed_raw; | changeset | files |
| Wed, 21 Sep 2016 22:44:24 +0200 | wenzelm | \<^raw> output is intended for LaTeX; | changeset | files |