doc-src/ROOT
2012-07-25 wenzelm 2012-07-25 session specifications for doc-src, excluding TutorialI for now;