hoelzl [Thu, 17 Jan 2013 11:59:12 +0100] rev 50936
countablility of finite subsets and rational numbers
hoelzl [Thu, 17 Jan 2013 11:57:17 +0100] rev 50935
generalize compact_path_image to topological_space
wenzelm [Thu, 17 Jan 2013 14:15:10 +0100] rev 50934
re-generated components.sha1;
wenzelm [Thu, 17 Jan 2013 14:12:35 +0100] rev 50933
merged
wenzelm [Thu, 17 Jan 2013 14:11:26 +0100] rev 50932
more system-independent order of components.sha1 to keep changes monotonic;
wenzelm [Thu, 17 Jan 2013 12:04:52 +0100] rev 50931
clarified Future.error_msg: slightly more robust id check, actually suppress displaced messages;
wenzelm [Thu, 17 Jan 2013 12:04:05 +0100] rev 50930
delay to give users a chance to see what was happening, even with auto_close enabled;
blanchet [Thu, 17 Jan 2013 14:06:14 +0100] rev 50929
updated docs
blanchet [Thu, 17 Jan 2013 14:02:25 +0100] rev 50928
updated component again, as there was an issue with hard-coded paths in "runepar.pl"
blanchet [Thu, 17 Jan 2013 14:01:45 +0100] rev 50927
added E-Par support