On Fri, 24 Feb 2012, Lukas Bulwahn wrote: > Maybe we could also get performance measurements for the new session? See now 1258eab48270. I have also updated the IsaMakefile itself in 2190af0ef263. All this redundancy in the session management is well-known and waiting to be eliminated for many years. Makarius