wenzelm [Sun, 30 Aug 2015 23:34:24 +0200] rev 61060
trim context for persistent storage;
wenzelm [Sun, 30 Aug 2015 22:58:26 +0200] rev 61059
trim context for persistent storage;
wenzelm [Sun, 30 Aug 2015 22:07:55 +0200] rev 61058
trim context for persistent storage;
wenzelm [Sun, 30 Aug 2015 21:26:42 +0200] rev 61057
trim context for persistent storage;
wenzelm [Sun, 30 Aug 2015 20:57:34 +0200] rev 61056
trim context for persistent storage;
wenzelm [Sun, 30 Aug 2015 20:17:35 +0200] rev 61055
store result of swapify, to avoid later access to implicit context;
wenzelm [Sun, 30 Aug 2015 17:34:29 +0200] rev 61054
trim context for persistent storage;
wenzelm [Sun, 30 Aug 2015 17:32:50 +0200] rev 61053
tuned;
wenzelm [Sun, 30 Aug 2015 17:32:36 +0200] rev 61052
clarified implicit context;
wenzelm [Sun, 30 Aug 2015 15:43:13 +0200] rev 61051
clarified exceptions;
tuned signature;