log src/tools/sat_defer.py @ 1491:704ca56f5ca9

age author description
2015-08-15 Goffi core: new tools.sat_defer module, and implementation of RTDeferredSessions: