| Thu, 17 Jan 2013 11:57:17 +0100 | hoelzl | generalize compact_path_image to topological_space | changeset | files |
| Thu, 17 Jan 2013 14:15:10 +0100 | wenzelm | re-generated components.sha1; | changeset | files |
| Thu, 17 Jan 2013 14:12:35 +0100 | wenzelm | merged | changeset | files |
| Thu, 17 Jan 2013 14:11:26 +0100 | wenzelm | more system-independent order of components.sha1 to keep changes monotonic; | changeset | files |
| Thu, 17 Jan 2013 12:04:52 +0100 | wenzelm | clarified Future.error_msg: slightly more robust id check, actually suppress displaced messages; | changeset | files |
| Thu, 17 Jan 2013 12:04:05 +0100 | wenzelm | delay to give users a chance to see what was happening, even with auto_close enabled; | changeset | files |