| Thu, 21 Mar 2019 19:46:12 +0100 | nipkow | tuyned | changeset | files |
| Thu, 21 Mar 2019 16:16:43 +0100 | wenzelm | further robustification (amending 772bdd1ed843); | changeset | files |
| Thu, 21 Mar 2019 15:51:04 +0100 | nipkow | added function | changeset | files |
| Thu, 21 Mar 2019 14:18:37 +0000 | paulson | merged | changeset | files |
| Thu, 21 Mar 2019 14:18:22 +0000 | paulson | new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map | changeset | files |
| Thu, 21 Mar 2019 14:54:25 +0100 | wenzelm | proper ISABELLE_OCAML_VERSION; | changeset | files |
| Thu, 21 Mar 2019 14:17:36 +0100 | wenzelm | less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith; | changeset | files |