| Fri, 26 Apr 2019 19:00:02 +0100 | paulson | partial updating to eliminate ASCII style and some applys | changeset | files |
| Fri, 26 Apr 2019 16:51:40 +0100 | paulson | Added embedding_map_into_euclideanreal; reduced dependence on Equivalence_Lebesgue_Henstock_Integration in Analysis theories by moving a few lemmas | changeset | files |
| Thu, 25 Apr 2019 10:19:48 +0200 | wenzelm | sequential build_release: it uses some of the test machines for pre-built images; | changeset | files |
| Wed, 24 Apr 2019 22:29:03 +0100 | paulson | getting rid of most apply steps | changeset | files |