| Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | dropped dead code | changeset | files |
| Mon, 09 Oct 2017 16:14:18 +0100 | paulson | Fixed the theorem name "closed_imp_fip_compact" | changeset | files |
| Mon, 09 Oct 2017 15:34:23 +0100 | paulson | new material about connectedness, etc. | changeset | files |
| Sun, 08 Oct 2017 16:50:37 +0200 | wenzelm | more on Docker; | changeset | files |
| Sun, 08 Oct 2017 15:54:55 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |
| Sun, 08 Oct 2017 14:52:06 +0200 | wenzelm | build_docker is regular tool (non-admin); | changeset | files |
| Sun, 08 Oct 2017 14:48:47 +0200 | wenzelm | merged | changeset | files |