src/Doc/Eisbach/document/root.tex
2015-05-17 wenzelm 2015-05-17 added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;