Deadline bachelor thesis

src/CurryDoc/Data/CurryDoc.curry

src/CurryDoc/Data/Position.curry

src/CurryDoc/Data/Span.curry

src/CurryDoc/Data/Type.curry

src/CurryDoc/Generators/Html.curry

src/CurryDoc/Generators/TeX.curry

src/CurryDoc/Info/AbstractCurry.curry

src/CurryDoc/Info/Analysis.curry

src/CurryDoc/Info/Comments.curry

src/CurryDoc/Info/Export.curry

src/CurryDoc/Info/Header.curry

src/CurryDoc/Main.curry