src/Doc/Codegen/document/style.sty
2017-02-22 haftmann 2017-02-22 basic documentation for computations
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;